We address ZFC inequalities between some cardinal invariants of the continuum, which turned out to be true in spite of strong expectations given by [11].

Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal $\kappa$ indestructible under $\kappa$-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe satisfies certain indestructibility properties. Specifically, we show that if K is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the only strongly (...) compact cardinals are the elements of K or their measurable limit points, every $\kappa \in K$ is a supercompact cardinal indestructible under $\kappa$-directed closed forcing, and every $\kappa$ a measurable limit point of K is a strongly compact cardinal indestructible under $\kappa$-directed closed forcing not changing $\wp$. We then derive as a corollary a model for the existence of a strongly compact cardinal $\kappa$ which is not $\kappa^+$ supercompact but which is indestructible under $\kappa$-directed closed forcing not changing $\wp and remains non-$\kappa^+$ supercompact after such a forcing has been done. (shrink)

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may (...) at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals. (shrink)

We show that it is relatively consistent with ZFC to have PCF structures of heightδ, for all ordinalsδ<ω3.

We show that all posets of uniform density ℵ 1 may have to add a Cohen real and develop some forcing machinery for obtaining this sort of result.

We study a generalization of the splitting number s to uncountable cardinals. We prove that $\mathfrak{s}(\kappa) > \kappa^+$ for a regular uncountable cardinal κ implies the existence of inner models with measurables of high Mitchell order. We prove that the assumption $\mathfrak{s}(\aleph_\omega) > \aleph_{\omega + 1}$ has a considerable large cardinal strength as well.

It is proved consistent that there be a proper σ-ideal ℑ on ω 1 and an ℵ 1 -preserving poset P such that $\mathbb{P} \Vdash$ the σ-ideal generated by ℑ̌ is not proper.

The relationship between killing ideals and adding reals by forcings is analysed.

This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them. We show that certain techniques (among the six) subsume others. To illustrate sharpness, we also consider a selection of constructs and show which techniques can and cannot be used to introduce them. The six studied techniques were selected on the basis (...) of actual practice in logic and computing. They do not form an exhaustive list. (shrink)

We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate ($\models^*$) appropriate to such structures. We indicate the utility of this theory as a framework for the development of the metatheory of first-order predicate logic and set theory, and we use it to prove that for any recursively enumerable extension $\Theta$ of ZF there is a finitely axiomatizable extension $\Theta'$ of GB that is a conservative extension of $\Theta$. We also (...) prove a conservative extension result that justifies the use of $\models^*$ to characterize ground models for forcing constructions. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

Ifκis a measurable cardinal, let us say that a measure onκis aκ-complete nonprincipal ultrafilter onκ. IfUis a measure onκ, letjUbe the canonical elementary embedding ofVinto its Ultrapower UltU. Ifxis a set, say thatUmovesxwhenjU≠x; say thatκmovesxwhen some measure onκmovesx. Recall Kunen's lemma : “Every ordinal is moved only by finitely many measurable cardinals.” Kunen's proof and Fleissner's proof are essentially nonconstructive.The following proposition can be proved by using elementary facts about iterated ultrapowers.Proposition.Let ‹Un: n ∈ ω› be a sequence of measures (...) on a strictly increasing sequence ‹κn: n ∈ ω› of measurable cardinals. Let U = ‹ Wα: α < ω2›, where Wωm + n= Um. Then, for each θ inUltU,if E is the support of θ inUltU,then, for all m ∈ ω, Ummoves θ iff E ∩ [ωm, ω)≠ ∅. (shrink)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...) other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

The following problem is studied: How large and how small can the Löwenheim and Hanf numbers of unbounded logics be in relation to the most common large cardinals? The main result is that the Löwenheim number of the logic with the Härtig-quantifier can be consistently put in between any two of the first weakly inaccessible, the first weakly Mahlo, the first weakly compact, the first Ramsey, the first measurable and the first supercompact cardinals.

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness, and are stable in some cardinal. Assuming the singular cardinal hypothesis, we prove a full characterization of the stability cardinals, and connect the stability spectrum with the behavior of saturated models.We deduce that if a class is stable on a tail of cardinals, then it has no long splitting chains. This indicates that there is a clear notion of superstability in this framework.We also present an (...) application to homogeneous model theory: for [Formula: see text] a homogeneous diagram in a first-order theory [Formula: see text], if [Formula: see text] is both stable in [Formula: see text] and categorical in [Formula: see text] then [Formula: see text] is stable in all [Formula: see text]. (shrink)

An instance of Stratified Comprehension ∀x₁ … ∀x n ∃y∀x (x ∈ y ↔ φ(x, x₁, …, x n )) is called strictly impredicative iff, under minimal stratification, the type of x is 0. Using the technology of forcing, we prove that the fragment of NF based on strictly impredicative Stratified Comprehension is consistent. A crucial part in this proof, namely showing genericity of a certain symmetric filter, is due to Robert Solovay. As a bonus, our interpretation also satisfies some (...) instances of Stratified Comprehension which are not strictly impredicative. For example, it verifies existence of Frege natural numbers. Apparently, this is a new subsystem of NF shown to be consistent. The consistency question for the whole theory NF remains open (since 1937). (shrink)

We give an overview of a research line concentrated on finding to which extent compactness fails at the level of first uncountable cardinal and to which extent it could be recovered on some other perhaps not so large cardinal. While this is of great interest to set theorists, one of the main motivations behind this line of research is in its applicability to other areas of mathematics. We give some details about this and we expose some possible directions for further (...) research. (shrink)

This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function as (...) a practical tool in modeling transitive and antitransitive chains of relations without suffering from difficulties of traditional set theories, and a major portion of the functionality of discrete mereology can be incorporated in FST. This makes FST a viable collection theory in ontological modeling. (shrink)

In this paper we shall answer some questions in the set theory of L, the universe of all sets constructible from the reals. In order to do so, we shall assume ADL, the hypothesis that all 2-person games of perfect information on ω whose payoff set is in L are determined. This is by now standard practice. ZFC itself decides few questions in the set theory of L, and for reasons we cannot discuss here, ZFC + ADL yields the most (...) interesting “completion” of the ZFC-theory of L.ADL implies that L satisfies “every wellordered set of reals is countable”, so that the axiom of choice fails in L. Nevertheless, there is a natural inner model of L, namely HODL, which satisfies ZFC.. The superscript “L” indicates, here and below, that the notion in question is to be interpreted in L.) HODL is reasonably close to the full L, in ways we shall make precise in § 1. The most important of the questions we shall answer concern HODL: what is its first order theory, and in particular, does it satisfy GCH?These questions first drew attention in the 70's and early 80's. (shrink)

It is shown that if κ is an uncountable successor cardinal in L[ 0 ♯ ], then there is a normal tree T ∈ L [ 0 ♯ ] of height κ such that $0^\sharp \not\in L\lbrack\mathbf{T}\rbrack$ . Yet T is $ -distributive in L[ 0 ♯ ]. A proper class version of this theorem yields an analogous L[ 0 ♯ ]-definable tree such that distinct branches in the presence of 0 ♯ collapse the universe. A heretofore unutilized method for (...) constructing in L[ 0 ♯ ] generic objects for certain L-definable forcings and "exotic sequences", combinatorial principles introduced by C. Gray, are used in constructing these trees. (shrink)

We prove that for every family I of closed subsets of a Polish space each Σ 1 1 set can be covered by countably many members of I or else contains a nonempty Π 0 2 set which cannot be covered by countably many members of I. We prove an analogous result for κ-Souslin sets and show that if A ♯ exists for any $A \subset \omega^\omega$ , then the above result is true for Σ 1 2 sets. A theorem (...) of Martin is included stating that this result is also true for weakly homogeneously Souslin sets. As an application of our results we derive from them a general form of Hurewicz's theorem due to Kechris, Louveau, and Woodin and a theorem of Feng on the open covering axiom. Also some well-known theorems on finding "big" closed sets inside of "big" Σ 1 1 and Σ 1 2 sets are consequences of our results. (shrink)

We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at ℵω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor—Shelah [7].

We show that given ù many supercompact cardinals, there is a generic extension in which the tree property holds at ℵ ω²+1 and the SCH fails at ℵ ω².

Probably the two most famous examples of elementary embeddings between inner models of set theory are the embeddings of the universe into an inner model given by a measurable cardinal and the embeddings of the constructible universeLinto itself given by 0#. In both of these examples, the “target model” is a subclass of the “ground model”. It is not hard to find examples of embeddings in which the target model is not a subclass of the ground model: ifis a generic (...) ultrafilter arising from forcing with a precipitous ideal on a successor cardinalκ, then the ultraproduct of the ground model viacollapsesκ. Such considerations suggest a classification of how close the target model comes to “fitting inside” the ground model.Definition 1.1. LetMandNbe inner models of ZFC, and letj:M→Nbe an elementary embedding. Theco-critical pointofjis the least ordinalλ, if any exist, such that there isX⊆λ, X∈NbutX∉M. Such anXis called anew subsetofλ.It is easy to see that the co-critical point ofj:M→Nis a cardinal inN. (shrink)

The current paper proves the results announced in [5]. We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and ω-Erdos cardinals. They are characterized by the existence of "O # -like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness for proper forcings. In particular, said absoluteness does not imply Π 1 1 determinacy.

We consider the infinite game where player ONE chooses terms of a strictly increasing sequence of first category subsets of a space and TWO chooses nowhere dense sets. If after ω innings TWO's nowhere dense sets cover ONE's first category sets, then TWO wins. We prove a theorem which implies for the real line: If TWO has a winning strategy which depends on the most recent n moves of ONE only, then TWO has a winning strategy depending on the most (...) recent 3 moves of ONE (Corollary 3). Our results give some new information concerning Problem 1 of [S1] and clarifies some of the results in [B-J-S] and in [S1]. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of (...) axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

We extend Shelah's first many model result to show that an unstable theory has 2 κ many non-permutation group isomorphic models of size κ, where κ is an uncountable regular cardinal.

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

In this paper, I argue against Penelope Maddy's set-theoretic realism by arguing (1) that it is perfectly consistent with mathematical Platonism to deny that there is a fact of the matter concerning statements which are independent of the axioms of set theory, and that (2) denying this accords further that many contemporary Platonists assert that there is a fact of the matter because they are closet foundationalists, and that their brand of foundationalism is in radical conflict with actual mathematical practice.

We present two ways in which the model L(R) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing; we show further that a set of ordinals in V cannot be added to L(R) by small forcing. The large cardinal needed corresponds to the consistency strength of AD L (R); roughly ω Woodin cardinals.

A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard universes are arranged in strata in the likeness of superstructures and allow a rank function taking linearly ordered values. Nonstandard universes are also constructed which model the whole ZFC theory without regularity and satisfy the κ-saturation property.

We give an affirmative answer to Brendle's and Hrušák's question of whether the club principle together with h > N₁ is consistent. We work with a class of axiom A forcings with countable conditions such that q ≥ n p is determined by finitely many elements in the conditions p and q and that all strengthenings of a condition are subsets, and replace many names by actual sets. There are two types of technique: one for tree-like forcings and one for (...) forcings with creatures that are translated into trees. Both lead to new models of the club principle. (shrink)

Let κ B be the least cardinal for which the Baire category theorem fails for the real line R. Thus κ B is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κ B cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2 ω 1 be ℵ ω . Similar questions are considered for the ideal of measure zero sets, other (...) ω 1 saturated ideals, and the ideal of zero-dimensional subsets of R ω 1. (shrink)

We show: The procedure mentioned in the title is often impossible. It requires at least an inner model with a measurable cardinal. The consistency strength of changing b and d from a regular κ to some regular δ < κ is a measurable of Mitchell order δ. There is an application to Cichon's diagram.

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

The article looks briefly at Fefermans own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context.

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

Let κ be a regular uncountable cardinal and λ be a cardinal greater than κ. We show that if 2 <κ ≤ M(κ, λ), then ◇ κ,λ holds, where M(κ, λ) equals $\lambda ^{\aleph }0$ if cf(λ) ≥ κ, and $(\lambda ^{+})^{\aleph _{0}}$ otherwise.