On generic elementary embeddings

1989 ◽  
Vol 54 (3) ◽  
pp. 700-707 ◽  
Author(s):  
Moti Gitik
Keyword(s):  
Measurable Cardinal ◽  
Generic Extension ◽  
Natural Question ◽  
The Core ◽  
Blowing Up ◽  
Elementary Embeddings ◽  
Nonstationary Ideal ◽  
Stationary Set ◽  
Precipitous Ideal ◽  
Precipitous Ideals

Suppose that I is a precipitous ideal over a cardinal κ and j is a generic embedding of I. What is the nature of j? If we assume the existence of a supercompact cardinal then, by Foreman, Magidor and Shelah [FMS], it is quite unclear where some of such j's are coming from. On the other hand, if ¬∃κ0(κ) = κ++, then, by Mitchell [Mi], the restriction of j to the core model is its iterated ultrapower by measures of it. A natural question arising here is if each iterated ultrapower of can be obtained as the restriction of a generic embedding of a precipitous ideal. Notice that there are obvious limitations. Thus the ultrapower of by a measure over λ cannot be obtained as a generic embedding by a precipitous ideal over κ ≠ λ. But if we fix κ and use iterated ultrapowers of which are based on κ, then the answer is positive. Namely a stronger statement is true:Theorem. Let τ be an ordinal and κ a measurable cardinal. There exists a generic extension V* of V so that NSℵ1 (the nonstationary ideal on ℵ1) is precipitous and, for every iterated ultrapower i of V of length ≤ τ by measures of V based on κ, there exists a stationary set forcing “the generic ultrapower restricted to V is i”.Our aim will be to prove this theorem. We assume that the reader is familiar with the paper [JMMiP] by Jech, Magidor, Mitchell and Prikry. We shall use the method of that paper for constructing precipitous ideals. Ideas of Levinski [L] for blowing up 2ℵ1 preserving precipitousness and of our own earlier paper [Gi] for linking together indiscernibles will be used also.

Increasing u2 by a stationary set preserving forcing

2009 ◽  
Vol 74 (1) ◽  
pp. 187-200
Author(s):  
Benjamin Claverie ◽  
Ralf Schindler
Keyword(s):  
Regular Cardinal ◽  
Nonstationary Ideal ◽  
Stationary Set ◽  
Precipitous Ideal ◽  
Countable Structure

AbstractWe show that if I is a precipitous ideal on ω1 and if θ > ω1 is a regular cardinal, then there is a forcing ℙ = ℙ(I, θ) which preserves the stationarity of all I-positive sets such that in Vℙ, ⟨Hθ; ∈, I⟩ is a generic iterate of a countable structure ⟨M; ∈, Ī⟩. This shows that if the nonstationary ideal on ω1 is precipitous and exists, then there is a stationary set preserving forcing which increases . Moreover, if Bounded Martin's Maximum holds and the nonstationary ideal on ω1 is precipitous, then .

A MODEL WITH A PRECIPITOUS IDEAL, BUT NO NORMAL PRECIPITOUS IDEAL

2013 ◽  
Vol 13 (01) ◽  
pp. 1250008
Author(s):  
MOTI GITIK
Keyword(s):  
Measurable Cardinal ◽  
Precipitous Ideal ◽  
Precipitous Ideals

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.

Some pathological examples of precipitous ideals

2008 ◽  
Vol 73 (2) ◽  
pp. 492-511 ◽  
Author(s):  
Moti Gitik
Keyword(s):  
Measurable Cardinal ◽  
Normal Ideal ◽  
Precipitous Ideal ◽  
Precipitous Ideals

AbstractWe 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 [2] and R. Laver [4] respectively. The present examples differ in two ways: first- they use only a measurable cardinal and second- the 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†.

On a condition for Cohen extensions which preserve precipitous ideals

1981 ◽  
Vol 46 (2) ◽  
pp. 296-300 ◽  
Author(s):  
Yuzuru Kakuda
Keyword(s):  
Measurable Cardinal ◽  
Chain Condition ◽  
Elementary Embedding ◽  
Normal Ideal ◽  
Uncountable Cardinal ◽  
Thin Sets ◽  
Measurable Cardinals ◽  
Precipitous Ideal ◽  
Precipitous Ideals ◽  
The Ideal

T. Jech and K. Prikry introduced the concept of precipitous ideals as a counterpart of measurable cardinals for small cardinals (Jech and Prikry [1]). To get a precipitous ideal on ℵ1( W. Mitchell used the Cohen extension by the standard Levy collapse that makes κ = ℵ1, where κ is a measurable cardinal in the ground model (Jech, Magidor, Mitchell and Prikry [2]). His proof essentially used the fact that , where is the notion of forcing of Levy collapse and j is the elementary embedding obtained by a normal ultrafilter on κ.On the other hand, we know that has the κ-chain condition. In this paper, we show that the κ-chain condition for notions of forcing plays an essential role for preserving normal precipitous ideals. Namely,Theorem 1. Let κ be a regular uncountable cardinal and I a normal ideal on κ. Let be a notion of forcing with the κ-chain condition. Then, I is precipitous iff ⊩“the ideal on κ generated by I is precipitous”.As an application of Theorem 1, we have the following theorem.Theorem 2. Let κ be a regular uncountable cardinal, and Γ be a κ-saturated normal ideal on κ. Then, {a < κ; the ideal of thin sets on a is precipitous} has either Γ-measure one or Γ-measure zero, and the ideal of thin sets on κ is precipitous iff {α< κ; the ideal of thin sets on α is precipitous) has Γ-measure one.

On elementary embeddings from an inner model to the universe

2001 ◽  
Vol 66 (3) ◽  
pp. 1090-1116 ◽  
Author(s):  
J. Vickers ◽  
P. D. Welch
Keyword(s):  
Measurable Cardinal ◽  
Negative Answer ◽  
Core Model ◽  
Elementary Embedding ◽  
Proper Class ◽  
The Core ◽  
Inner Model ◽  
Elementary Embeddings ◽  
The Universe ◽  
Closure Assumption

AbstractWe consider the following question of Kunen:Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M → V)imply Con(ZFC + ∃ a measurable cardinal)?We use core model theory to investigate consequences of the existence of such a j: M → V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of “there exists a proper class of almost Ramsey cardinals”. Conversely, if On is Ramsey, then such a j. M are definable.We construe this as a negative answer to the question above. We consider further the consequences of strengthening the closure assumption on j to having various classes of fixed points.

Perfect trees and elementary embeddings

2008 ◽  
Vol 73 (3) ◽  
pp. 906-918 ◽  
Author(s):  
Sy-David Friedman ◽  
Katherine Thompson
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Generic Extension ◽  
Elementary Embeddings ◽  
Preliminary Version ◽  
Cohen Forcing ◽  
Difficult Cases ◽  
Generic Extensions ◽  
Reverse Easton Iteration

AbstractAn important technique in large cardinal set theory is that of extending an elementary embedding j: M → N between inner models to an elementary embedding j* : M[G] → N[G*] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold while preserving a measurable cardinal (via a reverse Easton iteration of α-Cohen forcing for successor cardinals α), the generic G* is simply generated by the image of G. But in difficult cases, such as in Woodin's proof that a hypermeasurable is sufficient to obtain a failure of the GCH at a measurable, a preliminary version of G* must be constructed (possibly in a further generic extension of M[G]) and then modified to provide the required G*. In this article we use perfect trees to reduce some difficult cases to easy ones, using fusion as a substitute for distributivity. We apply our technique to provide a new proof of Woodin's theorem as well as the new result that global domination at inaccessibles (the statement that d(κ) is less than 2κ for inaccessible κ, where d(κ) is the dominating number at κ) is internally consistent, given the existence of 0#.

scholarly journals Ramsey-like cardinals II

2011 ◽  
Vol 76 (2) ◽  
pp. 541-560 ◽  
Author(s):  
Victoria Gitman ◽  
P. D. Welch
Keyword(s):  
Upper Bound ◽  
Large Cardinals ◽  
Large Cardinal ◽  
Core Model ◽  
Consistency Strength ◽  
The Core ◽  
Countable Ordinal ◽  
Elementary Embeddings ◽  
Remarkable Cardinals

AbstractThis paper continues the study of the Ramsey-like large cardinals introduced in [5] and [14]. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only α-many iterations for some countable ordinal α. Here we study such α-iterable cardinals. We show that the α-iterable cardinals form a strict hierarchy for α ≤ ω1, that they are downward absolute to L for , and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.We show that the strongly Ramsey and super Ramsey cardinals from [5] are downward absolute to the core model K. Finally, we use a forcing argument from a strongly Ramsey cardinal to separate the notions of Ramsey and virtually Ramsey cardinals. These were introduced in [14] as an upper bound on the consistency strength of the Intermediate Chang's Conjecture.

scholarly journals Is It Possible to Determine Whether a Star is Rotating About a Unique Axis?

1993 ◽  
Vol 137 ◽  
pp. 566-568 ◽  
Author(s):  
D.O. Gough ◽  
A.G. Kosovichev
Keyword(s):  
Simple Model ◽  
Angular Velocity ◽  
Rotation Axis ◽  
The Other ◽  
The Sun ◽  
Natural Question ◽  
Rotating Stars ◽  
The Core ◽  
Axis Of Rotation ◽  
Fixed Axis

Rotating stars are normally presumed to rotate about a unique axis. Would it be possible to determine whether or not that presumption is correct? This is a natural question to raise, particularly after the suggestion by T. Bai & P. Sturrock that the core of the sun rotates about an axis that is inclined to the axis of rotation of the envelope.A variation with radius of the direction of the rotation axis would modify the form of rotational splitting of oscillation eigenfrequencies. But so too does a variation with depth and latitude in the magnitude of the angular velocity. One type of variation can mimic the other, and so frequency information alone cannot differentiate between them. What is different, however, is the structure of the eigenfunctions. Therefore, in principle, one might hope to untangle the two phenomena using information about both the frequencies and the amplitudes of the oscillations.We consider a simple model of a star which is divided into two regions, each of which is rotating about a different fixed axis. We enquire whether there are any circumstances under which it might be possible to determine seismologically the separate orientations of the axes.

On precipitousness of the nonstationary ideal over a supercompact

1986 ◽  
Vol 51 (3) ◽  
pp. 648-662 ◽  
Author(s):  
Moti Gitik
Keyword(s):  
General Theorem ◽  
Supercompact Cardinal ◽  
Generic Extension ◽  
Inner Model ◽  
Nonstationary Ideal

Namba [N] proved that the nonstationary ideal over a measurable (NSκ) cannot be κ+-saturated. Baumgartner, Taylor and Wagon [BTW] asked if it is possible for NSκ to be precipitous over a measurable κ. A model with this property was constructed by the author, and shortly after Foreman, Magidor and Shelah [FMS] proved a general theorem that after collapsing of a supercompact or even a superstrong to the successor of κ, NSκ became precipitous. This theorem implies that it is possible to have the nonstationary ideal precipitous over even a supercompact cardinal. Just start with a supercompact κ and a superstrong λ > κ. Make supercompactness of κ indistractible as in [L] and then collapse λ to be κ+.The aim of our paper is to show that the existence of a supercompact cardinal alone already implies the consistency of the nonstationary ideal precipitous over a supercompact. The proof gives also the following: if κ is a λ-supercompact for λ ≥ (2κ)+, then there exists a generic extension in which κ is λ-supercompact and NSκ is precipitous. Thus, for a model with NSκ precipitous over a measurable we need a (2κ)+-supercompact cardinal κ. Jech [J] proved that the precipitous of NSκ over a measurable κ implies the existence of an inner model with o(κ) = κ+ + 1. In §3 we improve this result a little by showing that the above assumption implies an inner model with a repeat point.The paper is organized as follows. In §1 some preliminary facts are proved. The model with NSκ precipitous over a supercompact is constructed in §2.

Precipitous ideals

1980 ◽  
Vol 45 (1) ◽  
pp. 1-8 ◽  
Author(s):  
T. Jech ◽  
M. Magidor ◽  
W. Mitchell ◽  
K. Prikry
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Ground Model ◽  
Generic Set ◽  
Precipitous Ideal ◽  
Precipitous Ideals ◽  
The Ideal

The properties of small cardinals such as ℵ1 tend to be much more complex than those of large cardinals, so that properties of ℵ1 may often be better understood by viewing them as large cardinal properties. In this paper we show that the existence of a precipitous ideal on ℵ1 is essentially the same as measurability.If I is an ideal on P(κ) then R(I) is the notion of forcing whose conditions are sets x ∈ P(κ)/I, with x ≤ x′ if x ⊆ x′. Thus a set D R(I)-generic over the ground model V is an ultrafilter on P(κ) ⋂ V extending the filter dual to I. The ideal I is said to be precipitous if κ ⊨R(I)(Vκ/D is wellfounded).One example of a precipitous ideal is the ideal dual to a κ-complete ultrafilter U on κ. This example is trivial since the generic ultrafilter D is equal to U and is already in the ground model. A generic set may be viewed as one that can be worked with in the ground model even though it is not actually in the ground model, so we might expect that cardinals such as ℵ1 that cannot be measurable still might have precipitous ideals, and such ideals might correspond closely to measures.

Sign in / Sign up

Export Citation Format

Share Document