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 normal ideal below it is constructed. It is shown in addition that if there is a precipitous ideal over a cardinal κ such that • after the forcing with its positive sets the cardinality of κ remains above א1 • there is no a normal precipitous ideal then there is 0†. 1 Indecisive precipitous ideals. In [1] M. Foreman isolated the following natural and wide class of ideals: Definition 1.1 (M. Foreman [1]) Let Z ⊂ P (X) and J be an ideal on Z. Let X ′ ⊂ X and I be the projection of J to an ideal on P (X ′). Then J decides I iff there is a set A ∈ Ĭ and a well ordering W of A and sets A′,W ′, O′, I ′ ∈ V such that for all generic G ⊂ P (Z)/J : 1. An initial segment of the ordinals of V /G is well founded and isomorphic to (|A′|+)V and ∗The main part of this work was done during my visit to UCI. I would like to thank M. Foreman and M. Zeman for their hospitality and to M. Foreman for re-waking my interest in this subject. I am grateful to Assaf Sharon for reading the previous version and asking questions that lead to the present one. Finally I am very grateful to the referee of the paper for his long list of suggestions, corrections and questions.
منابع مشابه
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 ad...
متن کاملFuzzy soft ideals of near-subraction semigroups
Our aim in this paper is to introduce the notion of fuzzy soft near-subtraction semigroups and fuzzy soft ideals of near-subtraction semigroups. We discuss some important properties of these new fuzzy algebraic structure and investigate some examples and counter examples.
متن کاملOn Ideals Which Have the Weakly Insertion of Factors Property
A one-sided ideal of a ring has the insertion of factors property (or simply, IFP) if implies r for . We say a one-sided ideal of has the weakly IFP if for each , implies , for some non-negative integer . We give some examples of ideals which have the weakly IFP but have not the IFP. Connections between ideals of which have the IFP and related ideals of some ring extensions a...
متن کامل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 .
متن کاملPOSITIVE IMPLICATIVE HYPER MV -IDEALS OF TYPES 1,2,3, AND 4
In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 73 شماره
صفحات -
تاریخ انتشار 2008