Generic saturation

1998 ◽  
Vol 63 (1) ◽  
pp. 158-162
Author(s):  
Sy D. Friedman
Keyword(s):  
Generic Extension ◽  
Ground Model ◽  
Countable Ordinal ◽  
Homogeneous Set ◽  
Final Segment ◽  
Class Forcing

Assuming that ORD is ω + ω-Erdös we show that if a class forcing amenable to L (an L-forcing) has a generic then it has one definable in a set-generic extension of L[O#]. In fact we may choose such a generic to be periodic in the sense that it preserve the indiscernibility of a final segment of a periodic subclass of the Silver indiscernibles, and therefore to be almost codable in the sense that it is definable from a real which is generic for an L-forcing (and which belongs to a set-generic extension of L[0#]). This result is best possible in the sense that for any countable ordinal α there is an L-forcing which has generics but none periodic of period ≤ α. However, we do not know if an assumption beyond ZFC+“O# exists” is actually necessary for these results.Let P denote a class forcing definable over an amenable ground model 〈L, A〉 and assume that O# exists.Definition. P is relevant if P has a generic definable in L[0#]. P is almost relevant if P has a generic definable in a set-generic extension of L[0#].Remark. The reverse Easton product of Cohen forcings 2<κ, κ regular is relevant. So are the Easton product and the full product, provided κ is restricted to the successor cardinals. See Chapter 3, Section Two of Friedman [3]. Of course any set-forcing (in L) is almost relevant.Definition. κ is α-Erdös if whenever C is CUB in κ and f: [C]<ω → κ is regressive (i.e., f(a) < min(a)) then f has a homogeneous set of ordertype α.

scholarly journals A Reduction of the NF consistency Problem

2007 ◽  
Vol 72 (1) ◽  
pp. 285-304 ◽  
Author(s):  
Athanassios Tzouvaras
Keyword(s):  
Generic Extension ◽  
Sufficient Condition ◽  
Ground Model ◽  
Necessary And Sufficient Condition ◽  
Coherent Pair ◽  
Consistency Problem ◽  
Coherent Pairs ◽  
Necessary And Sufficient ◽  
Type Shifting

AbstractWe give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic extension M[G] of M that contains a model of TST with a type-shifting automorphism, and hence M[G] contains a model of NF. The converse holds trivially. It is also proved that there exist models of TST containing 1-extendible coherent pairs.

Hechler's Theorem for tall analytic P-ideals

2011 ◽  
Vol 76 (2) ◽  
pp. 729-736
Author(s):  
Barnabás Farkas
Keyword(s):  
Upper Bound ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Countable Subset ◽  
Generic Extension ◽  
Classical Theorem ◽  
Ground Model ◽  
Partially Ordered

AbstractWe prove the following version of Hechler's classical theorem: For each partially ordered set (Q, ≤) with the property that every countable subset of Q has a strict upper bound in Q, there is a ccc forcing notion such that in the generic extension for each tall analytic P-ideal (coded in the ground model) a cofinal subset of is order isomorphic to (Q, ≤).

scholarly journals COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS

2016 ◽  
Vol 81 (3) ◽  
pp. 814-832 ◽  
Author(s):  
JULIA KNIGHT ◽  
ANTONIO MONTALBÁN ◽  
NOAH SCHWEBER
Keyword(s):  
Positive Result ◽  
Generic Extension ◽  
Ground Model ◽  
Rigid Structure ◽  
Basic Properties ◽  
Image Position ◽  
Scott Rank ◽  
The Universe ◽  
Generic Extensions ◽  
Countable Structure

AbstractIn this paper, we investigate connections between structures present in every generic extension of the universe V and computability theory. We introduce the notion of generic Muchnik reducibility that can be used to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of generic presentability, the existence of a copy of the structure in every extension by a given forcing. We show that every forcing notion making ω2 countable generically presents some countable structure with no copy in the ground model; and that every structure generically presentable by a forcing notion that does not make ω2 countable has a copy in the ground model. We also show that any countable structure ${\cal A}$ that is generically presentable by a forcing notion not collapsing ω1 has a countable copy in V, as does any structure ${\cal B}$ generically Muchnik reducible to a structure ${\cal A}$ of cardinality ℵ1. The former positive result yields a new proof of Harrington’s result that counterexamples to Vaught’s conjecture have models of power ℵ1 with Scott rank arbitrarily high below ω2. Finally, we show that a rigid structure with copies in all generic extensions by a given forcing has a copy already in the ground model.

scholarly journals Outer models and genericity

2003 ◽  
Vol 68 (2) ◽  
pp. 389-418 ◽  
Author(s):  
M. C. Stanley
Keyword(s):  
Set Theory ◽  
Generic Extension ◽  
Transitive Model ◽  
Class Forcing ◽  
The Universe ◽  
Models Of Set Theory

Why is forcing the only known method for constructing outer models of set theory?If V is a standard transitive model of ZFC, then a standard transitive model W of ZFC is an outer model of V if V ⊆ W and V ∩ OR = W ∩ OR.Is every outer model of a given model a generic extension? At one point Solovay conjectured that if 0# exists, then every real that does not construct 0# lies in L[G], for some G that is generic for some forcing ℙ ∈ L. Famously, this was refuted by Jensen's coding theorem. He produced a real that is generic for an L-definable class forcing property, but does not lie in any set forcing extension of L.Beller, Jensen, and Welch in Coding the universe [BJW] revived Solovay's conjecture by asking the following question: Let a ⊆ ω be such that L[a] ⊨ “0# does not exist”. Is there ab∈ L[a] such that a ∉ L[b] and a is set generic over L[b].

scholarly journals CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS

2016 ◽  
Vol 81 (4) ◽  
pp. 1500-1530 ◽  
Author(s):  
PETER HOLY ◽  
REGULA KRAPF ◽  
PHILIPP LÜCKE ◽  
ANA NJEGOMIR ◽  
PHILIPP SCHLICHT
Keyword(s):  
Combinatorial Property ◽  
Fundamental Result ◽  
Generic Extension ◽  
Negative Results ◽  
Generic Filter ◽  
Class Forcing

AbstractThe forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing.In addition to these negative results, we show that the forcing theorem is equivalent to the existence of a (certain kind of) Boolean completion, and we introduce a weak combinatorial property (approachability by projections) that implies the forcing theorem to hold. Finally, we show that unlike for set forcing, Boolean completions need not be unique for class forcing.

-definability at uncountable regular cardinals

2012 ◽  
Vol 77 (3) ◽  
pp. 1011-1046 ◽  
Author(s):  
Philipp Lücke
Keyword(s):  
Partial Order ◽  
Regular Cardinal ◽  
Short Proof ◽  
Chain Condition ◽  
Generic Extension ◽  
Infinite Cardinal ◽  
Ground Model ◽  
Generic Absoluteness ◽  
Regular Cardinals ◽  
Quasi Order

AbstractLet κ be an infinite cardinal. A subset of (κκ)n is a -subset if it is the projection p[T] of all cofinal branches through a subtree T of (>κκ)n+1 of height κ. We define and -subsets of (κκ)n as usual.Given an uncountable regular cardinal κ with κ = κ<κ and an arbitrary subset A of κκ, we show that there is a <κ-closed forcing ℙ that satisfies the κ+-chain condition and forces A to be a -subset of κκ in every ℙ-generic extension of V. We give some applications of this result and the methods used in its proof.(i) Given any set x, we produce a partial order with the above properties that forces x to be an element of L.(ii) We show that there is a partial order with the above properties forcing the existence of a well-ordering of κκ whose graph is a -subset of κκ × κκ.(iii) We provide a short proof of a result due to Mekler and Väänänen by using the above forcing to add a tree T of cardinality and height κ such that T has no cofinal branches and every tree from the ground model of cardinality and height κ without a cofinal branch quasi-order embeds into T.(iv) We will show that generic absoluteness for -formulae (i.e., formulae with parameters which define -subsets of κκ) under <κ-closed forcings that satisfy the κ+-chain condition is inconsistent.In another direction, we use methods from the proofs of the above results to show that - and -subsets have some useful structural properties in certain ZFC-models.

scholarly journals ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)

2019 ◽  
Vol 84 (1) ◽  
pp. 320-342
Author(s):  
OMER BEN-NERIA
Keyword(s):  
Generic Extension ◽  
Ground Model ◽  
Regular Cardinals ◽  
Consistency Results ◽  
Image Position ◽  
Model Sequence

AbstractWe study the notion of tightly stationary sets which was introduced by Foreman and Magidor in [8]. We obtain two consistency results showing that certain sequences of regular cardinals ${\langle {\kappa _n}\rangle _{n < \omega }}$ can have the property that in some generic extension, every ground-model sequence of fixed-cofinality stationary sets ${S_n} \subseteq {\kappa _n}$ is tightly stationary. The results are obtained using variations of the short-extenders forcing method.

Changing cofinalities and infinite exponents

1981 ◽  
Vol 46 (1) ◽  
pp. 89-95 ◽  
Author(s):  
Arthur W. Apter
Keyword(s):  
Early Result ◽  
Regular Cardinal ◽  
Generic Extension ◽  
Ground Model ◽  
Generic Extensions

Ever since Cohen invented forcing in 1963, people have studied the properties that cardinals can have in generic extensions of the ground model. A very early result of Lévy shows that if κ is a regular cardinal and λ > κ is strongly inaccessible, then there is a notion of forcing which collapses every cardinal strictly between κ and λ yet preserves every other cardinal. This, of course, answers one question of the genre “What properties can a cardinal have in a generic extension?”Another question of the same genre that can be asked is the following: Is it possible to have a generic extension of the ground model in which all cardinals are preserved and yet the cofinalities of some cardinals are different? This question was first answered in the affirmative by Prikry, who proved the following theorem.Theorem 1.1 (Prikry [5]). Assume that V ⊨ “ZFC + κ is measurable”. Then there is a notion of forcing, P, such that for G V-generic over P:(1) V and V[G] have the same cardinals.(2) V and V[G] have the same bounded subsets of κ.(3) V[G], i.e, V[G] ⊨ “κ is Rowbottom”.(4) V[G] ⊨ “cof(κ) = ω”.Prikry's result naturally raises the following question: Is it possible to get a generic extension in which cardinals are preserved and yet the cofinalities of certain cardinals are different from the ground model's but are uncountable? This question was first answered in the affirmative by Magidor, who proved the following theorem.

The consistency of the axiom of universality for the ordering of cardinalities

1985 ◽  
Vol 50 (2) ◽  
pp. 502-509
Author(s):  
Marco Forti ◽  
Furio Honsell
Keyword(s):  
Set Theory ◽  
Partially Ordered Set ◽  
Regular Cardinal ◽  
Ordered Set ◽  
Partial Ordering ◽  
Generic Extension ◽  
Ground Model ◽  
Partially Ordered ◽  
Transfer Method ◽  
Image Position

T. Jech [4] and M. Takahashi [7] proved that given any partial ordering R in a model of ZFC there is a symmetric submodel of a generic extension of where R is isomorphic to the injective ordering on a set of cardinals.The authors raised the question whether the injective ordering of cardinals can be universal, i.e. whether the following axiom of “cardinal universality” is consistent:CU. For any partially ordered set (X, ≼) there is a bijection f:X → Y such that(i.e. x ≼ y iff ∃g: f(x) → f(y) injective). (See [1].)The consistency of CU relative to ZF0 (Zermelo-Fraenkel set theory without foundation) is proved in [2], but the transfer method of Jech-Sochor-Pincus cannot be applied to obtain consistency with full ZF (including foundation), since CU apparently is not boundable.In this paper the authors define a model of ZF + CU as a symmetric submodel of a generic extension obtained by forcing “à la Easton” with a class of conditions which add κ generic subsets to any regular cardinal κ of a ground model satisfying ZF + V = L.

A Gitik iteration with nearly Easton factoring

2003 ◽  
Vol 68 (2) ◽  
pp. 481-502
Author(s):  
William J. Mitchell
Keyword(s):  
Generic Extension ◽  
Ground Model ◽  
Iterated Forcing ◽  
Unbounded Subset ◽  
Gitik Iteration ◽  
Closed Unbounded Subset

AbstractWe reprove Gitik's theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such that every ν ∈ C is inaccessible in the ground model.Unlike the forcing used by Gitik, the iterated forcing ℛλ+1 used in this paper has the property that if λ is a cardinal less then κ then ℛλ+1 can be factored in V as ℛκ+1 = ℛλ+1 × ℛλ+1,κ where ∣ℛλ+1∣ ≤ λ+ and ℛλ+1,κ does not add any new subsets of λ.

Sign in / Sign up

Export Citation Format

Share Document