On Normal Precipitous Ideals
نویسنده
چکیده
An old question of T. Jech and K. Prikry asks if an existence of a precipitous ideal implies necessary existence of a normal precipitous ideal. The aim of the paper is to prove some results in the positive direction. Thus, it is shown that under some mild assumptions, an existence of a precipitous ideal over א1 implies an existence of a normal precipitous ideal over א1 once a Cohen subset is added to א2.
منابع مشابه
Some pathological examples of precipitous ideals
We construct a model with an indecisive precipitous ideal and a model with a precipitous ideal with a non precipitous normal ideal below it. Such kind of examples were previously given by M. Foreman [1] and R. Laver [4] respectively. The present examples differ in two ways: firstthey use only a measurable cardinal and secondthe ideals are over a cardinal. Also a precipitous ideal without a norm...
متن کاملA model with a precipitous ideal , but no normal precipitous ideal
Starting with a measurable cardinal κ of the Mitchell order κ++ we construct a model with a precipitous ideal on א1 but without normal precipitous ideals. This answers a question by T. Jech and K. Prikry. In the constructed model there are no Q–point precipitous filters on א1, i.e. those isomorphic to extensions of Cubא1 .
متن کاملOn almost precipitous ideals
With less than 0# two generic extensions of L are identified: one in which א1, and the other א2, is almost precipitous. This improves the consistency strength upper bound of almost precipitousness obtained in [6], and answers some questions raised there. Also, main results of [5] are generalizedassumptions on precipitousness are replaced by those on ∞-semi precipitousness. As an application it ...
متن کامل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 τ .
متن کاملWoodin's Axiom ( * ), Bounded Forcing Axioms, and Precipitous Ideals on Ω 1
If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at א2 with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC–model. This yields that if Woodin’s Pmax axiom (∗) holds, then BPFA implies that V is closed under the “Woodin-in-the-nextZFC–model” operator. We also discuss stronger Mouse Reflection principles which we show to follow from st...
متن کامل