The number of pairwise non-elementary-embeddable models
Journal of Symbolic Logic 54 (4):1431-1455 (1989)
| Abstract | We get consistency results on I(λ, T 1 , T) under the assumption that D(T) has cardinality $>|T|$ . We get positive results and consistency results on IE(λ, T 1 , T). The interest is model-theoretic, but the content is mostly set-theoretic: in Theorems 1-3, combinatorial; in Theorems 4-7 and 11(2), to prove consistency of counterexamples we concentrate on forcing arguments; and in Theorems 8-10 and 11(1), combinatorics for counterexamples; the rest are discussion and problems. In particular: (A) By Theorems 1 and 2, if $T \subseteq T_1$ are first order countable, T complete stable but ℵ 0 -unstable, $\lambda > \aleph_0$ , and $|D(T)| > \aleph_0$ , then $IE(\lambda, T_1, T) \geq \operatorname{Min}\{2^\lambda, \beth_2\}$ . (B) By Theorems 4, 5, 6 of this paper, if e.g. V = L, then in some generic extension of V not collapsing cardinals, for some first order $T \subseteq T_1, |T| = \aleph_0, |T_1| = \aleph_1, |D(T)| = \aleph_2$ and IE(ℵ 2 , T 1 , T) = 1. This paper (specifically the ZFC results) is continued in the very interesting work of Baldwin on diversity classes [B1]. Some more advances can be found in the new version of [Sh300] (see Chapter III, mainly \S7); they confirm 0.1, 0.2 and 14(1), 14(2) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSaharon Shelah (1984). Diamonds, Uniformization. Journal of Symbolic Logic 49 (4):1022-1033.
Saharon Shelah (1980). Independence Results. Journal of Symbolic Logic 45 (3):563-573.
Jeremy Avigad (2003). Number Theory and Elementary Arithmetic. Philosophia Mathematica 11 (3):257-284.
Rami Grossberg (1991). On Chains of Relatively Saturated Submodels of a Model Without the Order Property. Journal of Symbolic Logic 56 (1):124-128.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
Menachem Kojman & Saharon Shelah (1992). Nonexistence of Universal Orders in Many Cardinals. Journal of Symbolic Logic 57 (3):875-891.
Michael H. Albert & Rami P. Grossberg (1990). Rich Models. Journal of Symbolic Logic 55 (3):1292-1298.
Juliette Kennedy & Saharon Shelah (2002). On Regular Reduced Products. Journal of Symbolic Logic 67 (3):1169-1177.
Rami Grossberg & Saharon Shelah (1986). On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property. Part A. Journal of Symbolic Logic 51 (2):302-322.
John T. Baldwin (1989). Diverse Classes. Journal of Symbolic Logic 54 (3):875-893.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,053 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
