Foundations of recursive model theory
From MaRDI portal
Publication:3869329
DOI10.1016/0003-4843(78)90030-XzbMath0432.03018MaRDI QIDQ3869329
Publication date: 1978
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
recursive typesprime modelsaturated modeldecidable modelrecursive model theorycomplete decidable theory
Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)
Related Items
Decidable models of small theories ⋮ Recursive categoricity and recursive stability ⋮ Persistently Finite, Persistently Arithmetic Theories ⋮ Persistently Finite Theories with Hyperarithmetic Models ⋮ Degree spectra of prime models ⋮ On Decidable and Computable Models of Theories ⋮ Bad models in nice neighborhoods ⋮ Generalized effective completeness for continuous logic ⋮ Autostability of prime models under strong constructivizations ⋮ A totally transcendental decidable theory without constructivizable homogeneous models ⋮ Some Questions in Computable Mathematics ⋮ Type Structure Complexity and Decidability ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture ⋮ Some effects of Ash-Nerode and other decidability conditions on degree spectra ⋮ A computable ℵ0-categorical structure whose theory computes true arithmetic ⋮ Metric structures and probabilistic computation ⋮ A characterization of the 0-basis homogeneous bounding degrees ⋮ A complete, decidable theory with two decidable models ⋮ Theories with recursive models ⋮ Degrees of autostability relative to strong constructivizations ⋮ The degree spectra of homogeneous models ⋮ Computable trees, prime models, and relative decidability ⋮ Degrees of Recursively Saturated Models ⋮ The atomic model theorem and type omitting ⋮ Omitting types, type spectrums, and decidability ⋮ Tame Theories with Hyperarithmetic Homogeneous Models ⋮ \(\mathsf{WKL}_0\) and induction principles in model theory ⋮ A decidable Ehrenfeucht theory with exactly two hyperarithmetic models ⋮ Generalizing classical and effective model theory in theories of operations and classes
This page was built for publication: Foundations of recursive model theory
