Results 1  10
of
16
Computably categorical structures and expansions by constants
 J. Symbolic Logic
, 1999
"... Effective model theory is the subject that analyzes the typical notions and results of model theory to determine their effective content and counterparts. The subject has been developed both in the former Soviet Union and in the west with various names (recursive model theory, constructive model the ..."
Abstract

Cited by 26 (14 self)
 Add to MetaCart
Effective model theory is the subject that analyzes the typical notions and results of model theory to determine their effective content and counterparts. The subject has been developed both in the former Soviet Union and in the west with various names (recursive model theory, constructive model theory,
Effective model theory: the number of models and their complexity
 MODELS AND COMPUTABILITY
, 1999
"... Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starting points. If the basic objects are taken to be theories, then the appropriate effective version investigates decidable theories (the set of theorems i ..."
Abstract

Cited by 18 (6 self)
 Add to MetaCart
Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starting points. If the basic objects are taken to be theories, then the appropriate effective version investigates decidable theories (the set of theorems is computable) and decidable structures (ones with decidable theories). If the objects of initial interest are typical mathematical structures, then the starting point is computable structures. We present an introduction to both of these aspects of effective model theory organized roughly around the themes of the number and types of models of theories with particular attention to categoricity (as either a hypothesis or a conclusion) and the analysis of various computability issues in families of models.
Computable trees, prime models, and relative decidability
 PROC. AMER. MATH. SOC
, 2005
"... We show that for every computable tree T with no dead ends and all paths computable, and every D>T ∅, there is a Dcomputable listing of the isolated paths of T. It follows that for every complete decidable theory T such that all the types of T are computable and every D>T ∅, there is a Ddecidable ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
We show that for every computable tree T with no dead ends and all paths computable, and every D>T ∅, there is a Dcomputable listing of the isolated paths of T. It follows that for every complete decidable theory T such that all the types of T are computable and every D>T ∅, there is a Ddecidable prime model of T. This result extends a theorem of Csima and yields a stronger version of the theorem, due independently to Slaman and Wehner, that there is a structure with presentations of every nonzero degree but no computable presentation.
The atomic model theorem and type omitting
 Trans. Amer. Math. Soc
"... We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than Π1 1 conservative over RCA0 and strictly weaker than all the combinatorial principles of Hirschfeldt and Shore [2007] that are not Π1 1 conservative over RCA0. A priority argument with Shore blocking shows that it is also Π1 1conservative over BΣ2. We also provide a theorem provable by a finite injury priority argument that is conservative over IΣ1 but implies IΣ2 over BΣ2, and a type omitting theorem that is equivalent to the principle that for every X there is a set that is hyperimmune relative to X. Finally, we give a version of the atomic model theorem that is equivalent to the principle that for every X there is a set that is not recursive in X, and is thus in a sense the weakest possible natural principle not true in the ωmodel consisting of the recursive sets.
The atomic model theorem
"... We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than Π1 1 conservative over RCA0 and strictly weaker than all the combinatorial principles of Hirschfeldt and Shore [2007] that are not Π1 1 conservative over RCA0. A priority argument with Shore blocking shows that it is also Π 1 1conservative over BΣ2. We also provide a theorem provable by a finite injury priority argument that is conservative over IΣ1 but implies IΣ2 over BΣ2, and a type omitting theorem that is equivalent to the principle that for every X there is a set that is hyperimmune relative to X. Finally, we give a version of the atomic model theorem that is equivalent to the principle that for every X there is a set that is not recursive in X, and is thus in a sense the weakest possible natural principle not true in the ωmodel consisting of the recursive sets.
Constructive models of uncountably categorical theories
 PROC. AMER. MATH. SOC
, 1999
"... We construct a strongly minimal (and thus uncountably categorical) but not totally categorical theory in a finite language of binary predicates whose only constructive (or recursive) model is the prime model. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We construct a strongly minimal (and thus uncountably categorical) but not totally categorical theory in a finite language of binary predicates whose only constructive (or recursive) model is the prime model.
Trivial, strongly minimal theories are model complete after naming constants
 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
, 2002
"... We prove that if M is any model of a trivial, strongly minimal theory, then the elementary diagram Th(MM) is a model complete LMtheory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are 0 ′ ′decidable, and that the spectrum of compu ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We prove that if M is any model of a trivial, strongly minimal theory, then the elementary diagram Th(MM) is a model complete LMtheory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are 0 ′ ′decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is Σ 0 5.
Categoricity and Scott Families
 Combinatorics, Complexity, and Logic, Discrete Mathematics and Theoretical Computer Science
, 1997
"... this paper languages, structures, and models are assumed to be countable. There are many ways to introduce considerations of effectiveness into the area of model theory or universal algebra. Here we will briefly explain considerations of effectiveness for theories and their models on the one hand, a ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
this paper languages, structures, and models are assumed to be countable. There are many ways to introduce considerations of effectiveness into the area of model theory or universal algebra. Here we will briefly explain considerations of effectiveness for theories and their models on the one hand, and for just structures on the other hand. Let us begin by considering effectiveness for theories and their models. From the model theoretic point of view, given a first order theory, one is interested in finding models for the theory with specific algebraic or modeltheoretic properties. In this sense theories are the basic objects in model theory. A natural way of introducing effectiveness is, therefore, to begin by considering decidable theories, i.e. ones whose theorems form a decidable (i.e. computable or recursive) set.
Soare, Bounding homogeneous models
"... A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a ddecidable homogeneous model A, i.e., the elementary diagram D e (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithm ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a ddecidable homogeneous model A, i.e., the elementary diagram D e (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if it is a PA degree. We do this by showing that there is a single CD theory T such that every homogeneous model of T has a PA degree. 1