Sy-David Friedman

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α

For sentences $\phi$ of $L_{\omega_{1},\omega}$, we investigate the question of absoluteness of $\phi$ having models in uncountable cardinalities. We first observe that having a model in $\aleph_{1}$ is an absolute property, but having a model in $\aleph_{2}$ is not as it may depend on the validity of the continuum hypothesis. We then consider the generalized continuum hypothesis context and provide sentences for any $\alpha\in\omega_{1}\setminus\{0,1,\omega\}$ for which the existence of a model in $\aleph_{\alpha}$ is nonabsolute . Finally, we present a complete sentence for which model existence in $\aleph_{3}$ is nonabsolute

The results herein form part of a larger project to characterize the classification properties of the class of submodels of a homogeneous stable diagram in terms of the solvability (in the sense of [1]) of the potential isomorphism problem for this class of submodels. We restrict ourselves to locally saturated submodels of the monster model m of some power π. We assume that in Gödel's constructible universe , π is a regular cardinal at least the successor of the first cardinal in which is stable. We show that the collection of pairs of submodels in as above which are potentially isomorphic with respect to certain cardinal-preserving extensions of is equiconstructible with 0 # . As 0 # is highly "transcendental" over , this provides a very strong statement to the effect that potential isomorphism for this class of models not only fails to be set-theoretically absolute, but is of high (indeed of the highest possible) complexity. The proof uses a novel method that does away with the need for a linear order on the skeleton

There are two standard ways to establish consistency in set theory. One is to prove consistency using inner models, in the way that Gödel proved the consistency of GCH using the inner model L. The other is to prove consistency using outer models, in the way that Cohen proved the consistency of the negation of CH by enlarging L to a forcing extension L[G].But we can demand more from the outer model method, and we illustrate this by examining Easton's strengthening of Cohen's result:Theorem 1. There is a forcing extensionL[G] of L in which GCH fails at every regular cardinal.Assume that the universe V of all sets is rich in the sense that it contains inner models with large cardinals. Then what is the relationship between Easton's model L[G] and V? In particular, are these models compatible, in the sense that they are inner models of a common third model? If not, then the failure of GCH at every regular cardinal is consistent only in a weak sense, as it can only hold in universes which are incompatible with the universe of all sets. Ideally, we would like L[G] to not only be compatible with V, but to be an inner model of V.We say that a statement is internally consistent iff it holds in some inner model, under the assumption that there are innermodels with large cardinals.

If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$, then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$, for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$. This is accomplished through a use of David's trick and a coding through the ∑ 2 stable ordinals of L.

This paper investigates when it is possible for a partial ordering P to force Pκ(λ) \ V to be stationary in VP. It follows from a result of Gitik that whenever P adds a new real, then Pκ(λ) \ V is stationary in VP for each regular uncountable cardinal κ in VP and all cardinals λ &gt κ in VP [4]. However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The following is equiconsistent with a proper class of ω₁-Erdős cardinals: If P is N₁-Cohen forcing, then Pκ(λ) \ V is stationary in VP, for all regular κ ≥ N₂ and all λ &gt κ. The following is equiconsistent with an ω₁-Erdős cardinal: If P is N₁-Cohen forcing, then PN₂ (N₃) \ V is stationary in VP. The following is equiconsistent with κ measurable cardinals: If P is κ-Cohen forcing, then Pκ + (Nκ \ V is stationary in VP

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene’s O as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is that of the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal α the existence of singletons whose α-jumps are Turing incomparable

By forcing over a model of with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H is a well-order of H definable over the structure H, by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, in addition to forcing a locally defined well-order of the universe, preserve many of the n-huge cardinals from the ground model.

Vopenka [2] proved long ago that every set of ordinals is set-generic over HOD, Gödel's inner model of hereditarily ordinal-definable sets. Here we show that the entire universe V is class-generic over, and indeed over the even smaller inner model $\mathbb{S}=$, where S is the Stability predicate. We refer to the inner model $\mathbb{S}$ as the Stable Core of V. The predicate S has a simple definition which is more absolute than any definition of HOD; in particular, it is possible to add reals which are not set-generic but preserve the Stable Core.

The equiconsistency of a measurable cardinal with Mitchell order o=κ++ with a measurable cardinal such that 2κ=κ++ follows from the results by W. Mitchell [13] and M. Gitik [7]. These results were later generalized to measurable cardinals with 2κ larger than κ++ .In Friedman and Honzik [5], we formulated and proved Eastonʼs theorem [4] in a large cardinal setting, using slightly stronger hypotheses than the lower bounds identified by Mitchell and Gitik , for a suitable μ, instead of the cardinals with the appropriate Mitchell order).In this paper, we use a new idea which allows us to carry out the constructions in Friedman and Honzik [5] from the optimal hypotheses. It follows that the lower bounds identified by Mitchell and Gitik are optimal also with regard to the general behavior of the continuum function on regulars in the context of measurable cardinals

In this paper we are concerned about the ways GCH can fail in relation to rank-into-rank hypotheses, i.e., very large cardinals usually denoted by I3, I2, I1 and I0. The main results are a satisfactory analysis of the way the power function can vary on regular cardinals in the presence of rank-into-rank hypotheses and the consistency under I0 of the existence of j:Vλ+1≺Vλ+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j : V_{\lambda+1} {\prec} V_{\lambda+1}}$$\end{document} with the failure of GCH at λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}.

An Easton function is a monotone function C from infinite regular cardinals to cardinals such that C has cofinality greater than α for each infinite regular cardinal α. Easton showed that assuming GCH, if C is a definable Easton function then in some cofinality-preserving extension, C=2α for all infinite regular cardinals α. Using “generic modification”, we show that over the ground model L, models witnessing Easton’s theorem can be obtained as inner models of L[0#], for Easton functions which are L-definable with parameters at most . And using a gap 1 morass, we obtain an inner model of L[0#] with the same cofinalities as L in which is a strong limit cardinal and equals

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L ω ₁ ω ) is far from complete (see [5, 2]). In this article we strengthen the results of [5] by showing that not only does bi-embeddability give rise to analytic equivalence relations which are complete under Borel reducibility, but in fact any analytic equivalence relation is Borel equivalent to such a relation. This result and the techniques introduced answer questions raised in [5] about the comparison between isomorphism and bi-embeddability. Finally, as in [5] our results apply not only to classes of countable structures defined by sentences of ω ₁ ω , but also to discrete metric or ultrametric Polish spaces, compact metrizable topological spaces and separable Banach spaces, with various notions of embeddability appropriate for these classes, as well as to actions of Polish monoids

An 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#