On Partially Wellfounded Generic Ultrapowers
نویسندگان
چکیده
We construct a model without precipitous ideals but so that for each τ < א3 there is a normal ideal over א1 with generic ultrapower wellfounded up to the image of τ .
منابع مشابه
Generalized Prikry forcing and iteration of generic ultrapowers
Moreover Bukovský [1] and Dehornoy [2] showed that the generic extension Mω[〈j0,n(κ) | n ∈ ω〉] is ⋂ n∈ω Mn in Theorem 1.1. (For the history of these results, read the introduction of Dehornoy [2] and pp.259-260 of Kanamori [6]. ) In Dehornoy [3], these results were generalized for the forcing of Magidor [7] which changes a measurable cardinal of higher Mitchell order into a singular cardinal of...
متن کاملBoolean Ultrapowers, the Bukovský-dehornoy Phenomenon, and Iterated Ultrapowers
We show that while the length ω iterated ultrapower by a normal ultrafilter is a Boolean ultrapower by the Boolean algebra of Př́ıkrý forcing, it is consistent that no iteration of length greater than ω (of the same ultrafilter and its images) is a Boolean ultrapower. For longer iterations, where different ultrafilters are used, this is possible, though, and we give Magidor forcing and a general...
متن کاملA pr 2 00 5 More on regular reduced products
The authors show, by means of a finitary version fin λ,D of the combinatorial principle b ∗ λ of [6], 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-Fräıssé...
متن کاملA Dichotomy for the Number of Ultrapowers
We prove a strong dichotomy for the number of ultrapowers of a given model of cardinality ≤ 2א0 associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are 2 א0 many nonisomorphic ultrapowers. We prove the analogous result for metric structures, including C*-algebras and II1 factors, as well as their relative commutants and include several applications. We ...
متن کاملMore on regular reduced products
The authors show, by means of a finitary version ¤ λ,D of the combinatorial principle ¤ ∗ λ 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-Fräıssé g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008