Journal of Symbolic Logic 69 (4):1261-1266 (2004)

The authors show, by means of a finitary version □finλ, D of the combinatorial principle □b*λ of [7], the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal λ, if Mi and Ni are elementarily equivalent models of a language of size ≤ λ, then the second player has a winning strategy in the Ehrenfeucht-Fraïssé game of length λ+ on ∏i Mi/D and ∏i Ni/D. If in addition 2λ=λ+ and i <λ implies |Mi|+|Ni|≤ λ+ this means that the ultrapowers are isomorphic. This settles negatively conjecture 18 in [2].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.
On Regular Reduced Products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.
Regular Ultrapowers at Regular Cardinals.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (3):417-428.
A Remark on the Tree Property in a Choiceless Context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
More on Regular and Decomposable Ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.
Almost Free Groups and Long Ehrenfeucht–Fraı̈ssé Games.Pauli Väisänen - 2003 - Annals of Pure and Applied Logic 123 (1-3):101-134.
Combined Maximality Principles Up to Large Cardinals.Gunter Fuchs - 2009 - Journal of Symbolic Logic 74 (3):1015-1046.
Guessing Models and Generalized Laver Diamond.Matteo Viale - 2012 - Annals of Pure and Applied Logic 163 (11):1660-1678.
The Internal Consistency of Easton’s Theorem.Sy-David Friedman & Pavel Ondrejovič - 2008 - Annals of Pure and Applied Logic 156 (2):259-269.
Ultrafilters Generated by a Closed Set of Functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.


Added to PP index

Total views
5 ( #1,211,327 of 2,533,484 )

Recent downloads (6 months)
1 ( #391,480 of 2,533,484 )

How can I increase my downloads?


My notes