scholarly journals DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS

2019 ◽  
Vol 84 (1) ◽  
pp. 266-289 ◽  
Author(s):  
VLADIMIR KANOVEI ◽  
VASSILY LYUBETSKY
Keyword(s):  
Generic Extension ◽  
Image Position

AbstractUsing a nonLaver modification of Uri Abraham’s minimal $\Delta _3^1$ collapse function, we define a generic extension $L[a]$ by a real a, in which, for a given $n \ge 3$, $\left\{ a \right\}$ is a lightface $\Pi _n^1 $ singleton, a effectively codes a cofinal map $\omega \to \omega _1^L $ minimal over L, while every $\Sigma _n^1 $ set $X \subseteq \omega $ is still constructible.

scholarly journals INDESTRUCTIBILITY OF THE TREE PROPERTY

2019 ◽  
Vol 85 (1) ◽  
pp. 467-485
Author(s):  
RADEK HONZIK ◽  
ŠÁRKA STEJSKALOVÁ
Keyword(s):  
Lower Bounds ◽  
Generic Extension ◽  
Tree Property ◽  
Weakly Compact ◽  
Cardinal Invariants ◽  
Cohen Forcing ◽  
Image Position

AbstractIn the first part of the article, we show that if $\omega \le \kappa < \lambda$ are cardinals, ${\kappa ^{ < \kappa }} = \kappa$, and λ is weakly compact, then in $V\left[M {\left( {\kappa ,\lambda } \right)} \right]$ the tree property at $$\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $$ is indestructible under all ${\kappa ^ + }$-cc forcing notions which live in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, where ${\rm{Add}}\left( {\kappa ,\lambda } \right)$ is the Cohen forcing for adding λ-many subsets of κ and $\left( {\kappa ,\lambda } \right)$ is the standard Mitchell forcing for obtaining the tree property at $\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $. This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that λ is supercompact and generalize the construction and obtain a model ${V^{\rm{*}}}$, a generic extension of V, in which the tree property at ${\left( {{\kappa ^{ + + }}} \right)^{{V^{\rm{*}}}}}$ is indestructible under all ${\kappa ^ + }$-cc forcing notions living in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, and in addition under all forcing notions living in ${V^{\rm{*}}}$ which are ${\kappa ^ + }$-closed and “liftable” in a prescribed sense (such as ${\kappa ^{ + + }}$-directed closed forcings or well-met forcings which are ${\kappa ^{ + + }}$-closed with the greatest lower bounds).

scholarly journals Possible behaviours of the reflection ordering of stationary sets

1995 ◽  
Vol 60 (2) ◽  
pp. 534-547 ◽  
Author(s):  
Jiří Witzany
Keyword(s):  
Partial Ordering ◽  
Generic Extension ◽  
Maximal Antichain ◽  
Uncountable Cardinal ◽  
Image Position ◽  
Stationary Subsets ◽  
Almost All

AbstractIf S, T are stationary subsets of a regular uncountable cardinal κ, we say that S reflects fully in T, S < T, if for almost all α ∈ T (except a nonstationary set) S ∩ α stationary in α. This relation is known to be a well-founded partial ordering. We say that a given poset P is realized by the reflection ordering if there is a maximal antichain 〈Xp: p ∈ P〉 of stationary subsets of Reg(κ) so thatWe prove that if , and P is an arbitrary well-founded poset of cardinality ≤ κ+ then there is a generic extension where P is realized by the reflection ordering on κ.

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 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.

Comparing incomparable kleene degrees

1985 ◽  
Vol 50 (1) ◽  
pp. 55-58
Author(s):  
Philip Welch
Keyword(s):  
Turing Degrees ◽  
Generic Extension ◽  
Simple Application ◽  
Whole Process ◽  
Simple Sets ◽  
Image Position

In the December 1982 issue of this Journal Weitkamp [W] posed some questions concerning the incomparability of certain “r.e.” sets for the notion of Kleene reducibility. He asked whether the incomparability of, for example, the Friedman set F (defined below) and the set WI0 (the set of reals coding wellfounded trees of admissible height) was equivalent to the existence of 0#, since forcing over L with a set of conditions could not achieve this. We answer this by showing that in a certain class generic extension of L they are comparable, but 0# does not exist. This is an application of Jensen's coding theorem (cf. [BJW]), using a modified construction due to René David [D]. Indeed the result here is a simple application of his result. Define F as follows:Harrington showed, in effect, that one could not add a cone of Turing degrees to this set by forcing with sets of conditions over L. The method used here does add a cone of Turing degrees to a much simpler set RI1 (defined below)—and indeed the whole process could be viewed as forcing over L to obtain the determinacy of certain rather simple sets. It is the determinacy of the game with payoff set RI1 that ensures the comparability of F and WI0 (amongst many others).We shall refrain from repeating all the basic definitions and lemmas since the reader can readily refer to [W]; we shall give the basic necessities.

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.

scholarly journals Precipitous towers of normal filters

1997 ◽  
Vol 62 (3) ◽  
pp. 741-754 ◽  
Author(s):  
Douglas R. Burke
Keyword(s):  
Large Cardinals ◽  
Generic Extension ◽  
Normal Filter ◽  
Important Idea ◽  
Stationary Set ◽  
Image Position ◽  
Woodin Cardinal

In this paper we investigate towers of normal filters. These towers were first used by Woodin (see [15]). Woodin proved that if δ is a Woodin cardinal and P is the full stationary tower up to δ (P<δ) or the countable version (Q<δ), then the generic ultrapower is closed under < δ sequences (so the generic ultrapower is well-founded) ([14]). We show that if ℙ is a tower of height δ, δ supercompact, and the filters generating ℙ are the club filter restricted to a stationary set, then the generic ultrapower is well-founded (ℙ is precipitous). We also give some examples of non-precipitous towers. We also show that every normal filter can be extended to a V-ultrafilter with well-founded ultrapower in some generic extension of V (assuming large cardinals). Similarly for any tower of inaccessible height. This is accomplished by showing that there is a stationary set that projects to the filter or the tower and then forcing with P<δ below this stationary set.An important idea in our proof of precipitousness (Theorem 6.4) has the following form in Woodin's proof. If are maximal antichains (i Є ω and δ Woodin) then there is a κ < δ such that each Ai ∩ Vκ is semiproper, i.e.,contains a club (relative to ∣ a∣ < κ).

VARSOVIAN MODELS I

2018 ◽  
Vol 83 (2) ◽  
pp. 496-528 ◽  
Author(s):  
GRIGOR SARGSYAN ◽  
RALF SCHINDLER
Keyword(s):  
Core Model ◽  
Generic Extension ◽  
Strong Cardinal ◽  
Small Core ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Specific Fragment ◽  
Image Position ◽  
Woodin Cardinal

AbstractLet Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [11], Msw has a fully iterable core model, ${K^{{M_{{\rm{sw}}}}}}$, and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V, ${K^{{M_{{\rm{sw}}}}}}$ is an iterate of Msw via its iteration strategy Σ.We here show that Msw has a bedrock which arises from ${K^{{M_{{\rm{sw}}}}}}$ by telling ${K^{{M_{{\rm{sw}}}}}}$ a specific fragment ${\rm{\bar{\Sigma }}}$ of its own iteration strategy, which in turn is a tail of Σ. Hence Msw is a generic extension of $L[{K^{{M_{{\rm{sw}}}}}},{\rm{\bar{\Sigma }}}]$, but the latter model is not a generic extension of any inner model properly contained in it.These results generalize to models of the form Ms (x) for a cone of reals x, where Ms (x) denotes the least iterable inner model with a strong cardinal containing x. In particular, the least iterable inner model with a strong cardinal above two (or seven, or boundedly many) Woodin cardinals has a 2-small core model K with a Woodin cardinal and its bedrock is again of the form $L[K,{\rm{\bar{\Sigma }}}]$.

scholarly journals ITERATING SYMMETRIC EXTENSIONS

2019 ◽  
Vol 84 (1) ◽  
pp. 123-159 ◽  
Author(s):  
ASAF KARAGILA
Keyword(s):  
Axiom Of Choice ◽  
Generic Extension ◽  
Ground Model ◽  
Intermediate Model ◽  
Symmetric Extension ◽  
Consistency Results ◽  
New Models ◽  
Image Position ◽  
The Axiom Of Choice

AbstractThe notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of $ZF$ between the ground model and the generic extension, and often the axiom of choice fails in these models. Symmetric extensions are generally used to prove choiceless consistency results. We develop a framework for iterating symmetric extensions in order to construct new models of $ZF$. We show how to obtain some well-known and lesser-known results using this framework. Specifically, we discuss Kinna–Wagner principles and obtain some results related to their failure.

Simple Identification of Electron Diffraction Ring Patterns

1969 ◽  
Vol 27 ◽  
pp. 160-161
Author(s):  
Carolyn Nohr ◽  
Ann Ayres
Keyword(s):  
Electron Microscope ◽  
Electron Diffraction ◽  
Diffraction Ring ◽  
Image Position

Texts on electron diffraction recommend that the camera constant of the electron microscope be determine d by calibration with a standard crystalline specimen, using the equation

Sign in / Sign up

Export Citation Format

Share Document