On regular reduced products
Journal of Symbolic Logic 67 (3):1169-1177 (2002)
| Abstract | Assume $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ . Assume M is a model of a first order theory T of cardinality at most λ+ in a language L(T) of cardinality $\leq \lambda$ . Let N be a model with the same language. Let Δ be a set of first order formulas in L(T) and let D be a regular filter on λ. Then M is $\Delta-embeddable$ into the reduced power $N^\lambda/D$ , provided that every $\Delta-existential$ formula true in M is true also in N. We obtain the following corollary: for M as above and D a regular ultrafilter over $\lambda, M^\lambda/D$ is $\lambda^{++}-universal$ . Our second result is as follows: For $i < \mu$ let Mi and Ni be elementarily equivalent models of a language which has cardinality $\leq \lambda$ . Suppose D is a regular filter on λ and $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ holds. We show that then the second player has a winning strategy in the $Ehrenfeucht-Fra\ddot{i}ss\acute{e}$ game of length λ+ on $\prod_i M_i/D$ and $\prod_i N_i/D$ . This yields the following corollary: Assume GCH and λ regular (or just $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ and 2λ = λ+). For L, Mi and Ni be as above, if D is a regular filter on λ, then $\prod_i M_i/D \cong \prod_i N_i/D$ | |||||||||
| 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,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesSaharon Shelah (1984). A Pair of Nonisomorphic $\Equiv{\Infty \Lambda}$ Models of Power $\Lambda$ for $\Lambda$ Singular with $\Lambda\Omega=\Lambda$. Notre Dame Journal of Formal Logic 25 (2):97-104.
Matatyahu Rubin & Saharon Shelah (1980). On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Löwenheim Theorems and Compactness of Related Quantifiers. Journal of Symbolic Logic 45 (2):265-283.
William J. Mitchell (2003). A Gitik Iteration with Nearly Easton Factoring. Journal of Symbolic Logic 68 (2):481-502.
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.
Paolo Casalegno (1985). On the T-Degrees of Partial Functions. Journal of Symbolic Logic 50 (3):580-588.
William J. Mitchell (2004). A Weak Variation of Shelah's I[Ω₂]. Journal of Symbolic Logic 69 (1):94-100.
A. R. D. Mathias (2001). Slim Models of Zermelo Set Theory. Journal of Symbolic Logic 66 (2):487-496.
Rami Grossberg (1988). A Downward Löwenheim-Skolem Theorem for Infinitary Theories Which Have the Unsuperstability Property. Journal of Symbolic Logic 53 (1):231-242.
Saharon Shelah & Jouko Väänänen (2000). Stationary Sets and Infinitary Logic. Journal of Symbolic Logic 65 (3):1311-1320.
Juliette Cara Kennedy & Saharon Shelah (2004). More on Regular Reduced Products. Journal of Symbolic Logic 69 (4):1261 - 1266.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,117 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
