DECIDABLE MODELS OF ω-STABLE THEORIES

2014 ◽  
Vol 79 (01) ◽  
pp. 186-192 ◽  
Author(s):  
URI ANDREWS
Keyword(s):  
Countable Model ◽  
Countable Models

Abstract We characterize the ω-stable theories all of whose countable models admit decidable presentations. In particular, we show that for a countable ω-stable T, every countable model of T admits a decidable presentation if and only if all n-types in T are recursive and T has only countably many countable models. We further characterize the decidable models of ω-stable theories with countably many countable models as those which realize only recursive types.

scholarly journals COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES

2019 ◽  
Vol 84 (3) ◽  
pp. 1007-1019
Author(s):  
DANUL K. GUNATILLEKA
Keyword(s):  
Large Body ◽  
Countable Model ◽  
Stable Theory ◽  
Generic Structure ◽  
Elementary Chain ◽  
Regular Type ◽  
Image Position ◽  
Original Class ◽  
Countable Models

AbstractWe continue the study of the theories of Baldwin–Shi hypergraphs from [5]. Restricting our attention to when the rank δ is rational valued, we show that each countable model of the theory of a given Baldwin–Shi hypergraph is isomorphic to a generic structure built from some suitable subclass of the original class used in the construction. We introduce a notion of dimension for a model and show that there is a an elementary chain $\left\{ {\mathfrak{M}_\beta :\beta \leqslant \omega } \right\}$ of countable models of the theory of a fixed Baldwin–Shi hypergraph with $\mathfrak{M}_\beta \preccurlyeq \mathfrak{M}_\gamma $ if and only if the dimension of $\mathfrak{M}_\beta $ is at most the dimension of $\mathfrak{M}_\gamma $ and that each countable model is isomorphic to some $\mathfrak{M}_\beta $. We also study the regular types that appear in these theories and show that the dimension of a model is determined by a particular regular type. Further, drawing on a large body of work, we use these structures to give an example of a pseudofinite, ω-stable theory with a nonlocally modular regular type, answering a question of Pillay in [11].

Generalized quantifiers and elementary extensions of countable models

1977 ◽  
Vol 42 (3) ◽  
pp. 341-348 ◽  
Author(s):  
Małgorzata Dubiel
Keyword(s):  
Countable Model ◽  
Generalized Quantifiers ◽  
Natural Question ◽  
Elementary Extension ◽  
First Order ◽  
Transitive Model ◽  
Order Language ◽  
Image Position ◽  
Countable Models

Let L be a countable first-order language and L(Q) be obtained by adjoining an additional quantifier Q. Q is a generalization of the quantifier “there exists uncountably many x such that…” which was introduced by Mostowski in [4]. The logic of this latter quantifier was formalized by Keisler in [2]. Krivine and McAloon [3] considered quantifiers satisfying some but not all of Keisler's axioms. They called a formula φ(x) countable-like iffor every ψ. In Keisler's logic, φ(x) being countable-like is the same as ℳ⊨┐Qxφ(x). The main theorem of [3] states that any countable model ℳ of L[Q] has an elementary extension N, which preserves countable-like formulas but no others, such that the only sets definable in both N and M are those defined by formulas countable-like in M. Suppose C(x) in M is linearly ordered and noncountable-like but with countable-like proper segments. Then in N, C will have new elements greater than all “old” elements but no least new element — otherwise it will be definable in both models. The natural question is whether it is possible to use generalized quantifiers to extend models elementarily in such a way that a noncountable-like formula C will have a minimal new element. There are models and formulas for which it is not possible. For example let M be obtained from a minimal transitive model of ZFC by letting Qxφ(x) mean “there are arbitrarily large ordinals satisfying φ”.

scholarly journals MINIMUM MODELS OF SECOND-ORDER SET THEORIES

2019 ◽  
Vol 84 (02) ◽  
pp. 589-620
Author(s):  
KAMERYN J. WILLIAMS
Keyword(s):  
Set Theory ◽  
Second Order ◽  
Countable Model ◽  
Main Question ◽  
Minimal Models ◽  
Transitive Model ◽  
Transfinite Recursion ◽  
Order Set ◽  
Countable Models

AbstractIn this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (3) There is no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR.

The classification of small types of rank ω, Part I

2001 ◽  
Vol 66 (4) ◽  
pp. 1884-1898
Author(s):  
Steven Buechler ◽  
Colleen Hoover
Keyword(s):  
Stability Theory ◽  
Closure Operator ◽  
Algebraic Closure ◽  
Countable Model ◽  
Closure Operators ◽  
Basic Concepts ◽  
Countable Models

Abstract.Certain basic concepts of geometrical stability theory are generalized to a class of closure operators containing algebraic closure. A specific case of a generalized closure operator is developed which is relevant to Vaught's conjecture. As an application of the methods, we proveTheorem A. Let G be a superstate group of U-rank ω such that the generics of G are locally modular and Th(G) has few countable models. Let G− be the group of nongeneric elements of G. G+ = Go + G−. Let Π = {q ∈ S(∅): U(q) < ω}. For any countable model M of Th(G) there is a finite A ⊂ M such thai M is almost atomic over A ∪ (G+ ∩ M) ∪ ⋃p∈Πp(M).

On the number of countable homogeneous models

1983 ◽  
Vol 48 (3) ◽  
pp. 539-541 ◽  
Author(s):  
Libo Lo
Keyword(s):  
Homogeneous Model ◽  
Countable Model ◽  
The Other ◽  
Reduced Model ◽  
Elementary Extension ◽  
Other Hand ◽  
Homogeneous Models ◽  
Countable Theory ◽  
Countable Models

The number of homogeneous models has been studied in [1] and other papers. But the number of countable homogeneous models of a countable theory T is not determined when dropping the GCH. Morley in [2] proves that if a countable theory T has more than ℵ1 nonisomorphic countable models, then it has such models. He conjectures that if a countable theory T has more than ℵ0 nonisomorphic countable models, then it has such models. In this paper we show that if a countable theory T has more than ℵ0 nonisomorphic countable homogeneous models, then it has such models.We adopt the conventions in [1]–[3]. Throughout the paper T is a theory and the language of T is denoted by L which is countable.Lemma 1. If a theory T has more than ℵ0types, then T hasnonisomorphic countable homogeneous models.Proof. Suppose that T has more than ℵ0 types. From [2, Corollary 2.4] T has types. Let σ be a Ttype with n variables, and T′ = T ⋃ {σ(c1, …, cn)}, where c1, …, cn are new constants. T′ is consistent and has a countable model (, a1, …, an). From [3, Theorem 3.2.8] the reduced model has a countable homogeneous elementary extension . σ is realized in . This shows that every type σ is realized in at least one countable homogeneous model of T. But each countable model can realize at most ℵ0 types. Hence T has at least countable homogeneous models. On the other hand, a countable theory can have at most nonisomorphic countable models. Hence the number of nonisomorphic countable homogeneous models of T is .In the following, we shall use the languages Lα (α = 0, 1, 2) defined in [2]. We give a brief description of them. For a countable theory T, let K be the class of all models of T. L = L0 is countable.

Elementary extensions of countable models of set theory

1976 ◽  
Vol 41 (1) ◽  
pp. 139-145 ◽  
Author(s):  
John E. Hutchinson
Keyword(s):  
Set Theory ◽  
Regular Cardinal ◽  
Countable Model ◽  
Elementary Extension ◽  
Models Of Set Theory ◽  
Countable Models

AbstractWe prove the following extension of a result of Keisler and Morley. Suppose is a countable model of ZFC and c is an uncountable regular cardinal in . Then there exists an elementary extension of which fixes all ordinals below c, enlarges c, and either (i) contains or (ii) does not contain a least new ordinal.Related results are discussed.

Dimension theory and homogeneity for elementary extensions of a model

1982 ◽  
Vol 47 (1) ◽  
pp. 147-160 ◽  
Author(s):  
Anand Pillay
Keyword(s):  
Finite Number ◽  
Large Class ◽  
Countable Model ◽  
Dimension Theory ◽  
Elementary Embedding ◽  
Minimal Extension ◽  
Infinite Set ◽  
Countable Models

We take a fixed countable model M0, and we look at the structure of and number of its countable elementary extensions (up to isomorphism over M0). Assuming that S(M0) is countable, we prove that if N is a weakly minimal extension of , and if then there is an elementary embedding of N into M over M0), then N is homogeneous over M0. Moreover the condition that ∣S(M0)∣ = ℵ0 cannot be removed. Under the hypothesis that M0 contains no infinite set of tuples ordered by a formula, we prove that M0 has infinitely many countable elementary extensions up to isomorphism over M0. A preliminary result is that all types over M0 are definable, and moreover is definable over M0 if and only if is definable over M0 (forking symmetry). We also introduce a notion of relative homogeneity, and show that a large class of elementary extensions of M0 are relatively homogeneous over M0 (under the assumptions that M0 has no order and S(M0) is countable).I will now discuss the background to and motivation behind the results in this paper, and also the place of this paper relative to other conjectures and investigations. To simplify notation let T denote the complete diagram of M0. First, our result that if M0 has no order then T has infinitely many countable models is related to the following conjecture: any theory with a finite number (more than one) of countable models is unstable.

Omitting models

1977 ◽  
Vol 42 (1) ◽  
pp. 29-32
Author(s):  
Ernest Snapper
Keyword(s):  
Homogeneous Model ◽  
Countable Model ◽  
Complete Theory ◽  
Finite Set ◽  
Homogeneous Models ◽  
Definition Of ◽  
General Aspects ◽  
The Universe ◽  
Main Definition ◽  
Countable Models

The purpose of this paper is to introduce the notion of “omitting models” and to derive a very natural theorem concerning it (Theorem 1). A corollary of this theorem is the remarkable theorem of Vaught [3] which states that a countable complete theory cannot have precisely two nonisomorphic countable models. In fact, we show that our theorem implies Rosenstein's theorem [2] which, in turn, implies Vaught's theorem.T stands for a countable complete theory whose (countable) language is denoted by L. Following [1], a countably homogeneous model of T is a countable model of T with the property that, for any two n-tuples a1, …, an and b1,…,bn of the universe of whose types are the same, there is an automorphism of which maps ai, on bi, for i = 1, …, n [1, p. 129 and Proposition 3.2.9, p. 131]. “Homogeneous model” always means “countably homogeneous model.” “Type of T” always stands for “n-type of T” where n ≥ s 0, i.e., for the type of some n-tuple of individuals of the universe of some model of T. We often use that two homogeneous models which realize the same types are isomorphic [1, Proposition 3.2.9, p. 131].It is well known that every type of T is realized by at least one countable model of T. The main definition of this paper is:Definition 1. A set of countable models of T is omissible or “may be omitted” if every type of T is realized by at least one countable model of T which is not isomorphic to a model in the set.The main theorem of the paper is:Theorem 1. If a countable complete theory is not ω-categorical, every finite set of its homogeneous models may be omitted.The theorem is proved in §1 and in §2 it is shown how Vaught's and Rosenstein's theorems follow from it. §3 discusses some general aspects of omitting models.

scholarly journals EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE

2013 ◽  
Vol 13 (02) ◽  
pp. 1350006 ◽  
Author(s):  
JOEL DAVID HAMKINS
Keyword(s):  
Set Theory ◽  
Order Type ◽  
Large Cardinals ◽  
Countable Model ◽  
Classical Theorem ◽  
Binary Relations ◽  
Finite Sets ◽  
Nonstandard Model ◽  
Models Of Set Theory ◽  
Countable Models

The main theorem of this article is that every countable model of set theory 〈M, ∈M〉, including every well-founded model, is isomorphic to a submodel of its own constructible universe 〈LM, ∈M〉 by means of an embedding j : M → LM. It follows from the proof that the countable models of set theory are linearly pre-ordered by embeddability: if 〈M, ∈M〉 and 〈N, ∈N〉 are countable models of set theory, then either M is isomorphic to a submodel of N or conversely. Indeed, these models are pre-well-ordered by embeddability in order-type exactly ω1 + 1. Specifically, the countable well-founded models are ordered under embeddability exactly in accordance with the heights of their ordinals; every shorter model embeds into every taller model; every model of set theory M is universal for all countable well-founded binary relations of rank at most Ord M; and every ill-founded model of set theory is universal for all countable acyclic binary relations. Finally, strengthening a classical theorem of Ressayre, the proof method shows that if M is any nonstandard model of PA, then every countable model of set theory — in particular, every model of ZFC plus large cardinals — is isomorphic to a submodel of the hereditarily finite sets 〈 HF M, ∈M〉 of M. Indeed, 〈 HF M, ∈M〉 is universal for all countable acyclic binary relations.

scholarly journals Groups with finitely many countable models

2015 ◽  
Vol 97 (111) ◽  
pp. 33-41
Author(s):  
Dejan Ilic ◽  
Slavko Moconja ◽  
Predrag Tanovic
Keyword(s):  
Abelian Group ◽  
Order Theory ◽  
Countable Model ◽  
First Order ◽  
First Order Theory ◽  
Extra Structure ◽  
Countable Models

We construct Abelian group with an extra structure whose first order theory has finitely many but more than one countable model.

Sign in / Sign up

Export Citation Format

Share Document