We say that κ is μ-hypermeasurable for a cardinal μ≥κ+ if there is an embedding j:V→M with critical point κ such that HV is included in M and j>μ. Such a j is called a witnessing embedding.Building on the results in [7], we will show that if V satisfies GCH and F is an Easton function from the regular cardinals into cardinals satisfying some mild restrictions, then there exists a cardinal-preserving forcing extension V* where F is realised on all V-regular (...) cardinals and moreover, all F-hypermeasurable cardinals κ, where F>κ+, with a witnessing embedding j such that either j=κ+ or j≥F, are turned into singular strong limit cardinals with cofinality ω. This provides some partial information about the possible structure of a continuum function with respect to singular cardinals with countable cofinality.As a corollary, this shows that the continuum function on a singular strong limit cardinal κ of cofinality ω is virtually independent of the behaviour of the continuum function below κ, at least for continuum functions which are simple in that 2α{α+,α++} for every cardinal α below κ ≥F or j=κ+). (shrink)

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: If m ≥ 1 and the ultrafilter D is , equation imagem)-regular, then D is κ -decomposable for some κ with λ ≤ κ ≤ 2λ ). If λ is a strong limit cardinal and D is , equation imagem)-regular, then either D is -regular or there are arbitrarily large κ < λ for which D is κ -decomposable ). Suppose that λ is singular, (...) λ < κ, cf κ ≠ cf λ and D is -regular. Then: D is either -regular, or -regular for some λ' < λ . If κ is regular, then D is either -regular, or -regular for every κ' < κ . If either λ is a strong limit cardinal and λ<λ < 2κ, or λ<λ < κ, then D is either λ -decomposable, or -regular for some λ' < λ . If λ is singular, D is -regular and there are arbitrarily large ν < λ for which D is ν -decomposable, then D is κ -decomposable for some κ with λ ≤ κ ≤ λ<μ . D × D' is -regular if and only if there is a ν such that D is -regular and D' is -regular for all ν∼ < ν .We also list some problems, and furnish applications to topological spaces and to extended logics. (shrink)

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional combinatorial properties. In particular, in this model, ♦ δ holds for every regular uncountable cardinal δ, and below the least supercompact cardinal κ, □ δ holds on a stationary subset of κ. There are no restrictions in our model on the structure of the class of supercompact cardinals.

We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as $\alpha$-strongly compact and $C^{(n)}$-extendible cardinals.

Jensen's celebrated Covering Lemma states that if 0# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥ΘL(ℝ), there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ is (...) the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. (shrink)

Vopěnka’s Principle is a natural large cardinal axiom that has recently found applications in category theory and algebraic topology. We show that Vopěnka’s Principle and Vopěnka cardinals are relatively consistent with a broad range of other principles known to be independent of standard (ZFC) set theory, such as the Generalised Continuum Hypothesis, and the existence of a definable well-order on the universe of all sets. We achieve this by showing that they are indestructible under a broad class of forcing constructions, (...) specifically, reverse Easton iterations of increasingly directed closed partial orders. (shrink)

We present a general construction of a □κ-sequence in Jensen's fine structural extender models. This construction yields a local definition of a canonical □κ-sequence as well as a characterization of those cardinals κ, for which the principle □κ fails. Such cardinals are called subcompact and can be described in terms of elementary embeddings. Our construction is carried out abstractly, making use only of a few fine structural properties of levels of the model, such as solidity and condensation.

Many philosophers have become worried about the use of standard real numbers for the probability function that represents an agent's credences. They point out that real numbers can't capture the distinction between certain extremely unlikely events and genuinely impossible ones—they are both represented by credence 0, which violates a principle known as “regularity.” Following Skyrms 1980 and Lewis 1980, they recommend that we should instead use a much richer set of numbers, called the “hyperreals.” This essay argues that this popular (...) view is the result of two mistakes. The first mistake, which this essay calls the “numerical fallacy,” is to assume that a distinction that isn't represented by different numbers isn't represented at all in a mathematical representation. In this case, the essay claims that although the real numbers do not make all relevant distinctions, the full mathematical structure of a probability function does. The second mistake is that the hyperreals make too many distinctions. They have a much more complex structure than credences in ordinary propositions can have, so they make distinctions that don't exist among credences. While they might be useful for generating certain mathematical models, they will not appear in a faithful mathematical representation of credences of ordinary propositions. (shrink)

We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ◊ $_{k^ - }^* $ at a proper class of cardinals k. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.

We consider the following question of Kunen: Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M $\longrightarrow$ 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. (shrink)

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...) fondamentali per la ricerca di nuovi assiomi in matematica. L’articolo fornisce un quadro generale dei risultati matematici fondamentali, e un’analisi di alcune delle questioni filosofiche connesse al Problema del Continuo. (shrink)

In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimen\-sional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.

We present several generalizations of the well-known Kunen inconsistency that there is no nontrivial elementary embedding from the set-theoretic universe V to itself. For example, there is no elementary embedding from the universe V to a set-forcing extension V[G], or conversely from V[G] to V, or more generally from one set-forcing ground model of the universe to another, or between any two models that are eventually stationary correct, or from V to HOD, or conversely from HOD to V, or indeed (...) from any definable class to V, among many other possibilities we consider, including generic embeddings, definable embeddings and results not requiring the axiom of choice. We have aimed in this article for a unified presentation that weaves together some previously known unpublished or folklore results, several due to Woodin and others, along with our new contributions. (shrink)

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...) Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”. (shrink)

In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 $ -statement (...) with this feature in the sense that any other $\Sigma _1^2 $ -statement with this feature is Ω-equivalent to CH over ZFC. It is natural to look for other strengthenings of ZFC that have an even greater degree of Ω-completeness. For example, one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for all of third-order arithmetic. Going further, for each specifiable segment $V_\lambda $ of the universe of sets (for example, one might take $V_\lambda $ to be the least level that satisfies there is a proper class of huge cardinals), one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for the theory of $V_\lambda $ . If such theories exist, extend one another, and are unique in the sense that any other such theory B with the same level of Ω-completeness as A is actually Ω-equivalent to A over ZFC, then this would show that there is a unique Ω-complete picture of the successive fragments of the universe of sets and it would make for a very strong case for axioms complementing large cardinal axioms. In this paper we show that uniqueness must fail. In particular, we show that if there is one such theory that Ω-implies CH then there is another that Ω-implies¬CH. (shrink)

The purpose of this article is to explain why I believe that the Continuum Hypothesis (CH) is not a definite mathematical problem. My reason for that is that the concept of arbitrary set essential to its formulation is vague or underdetermined and there is no way to sharpen it without violating what it is supposed to be about. In addition, there is considerable circumstantial evidence to support the view that CH is not definite.

This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroups of metric ultraproducts of families of, respectively, unitary groups U (n) and symmetric groups $S_{n},\ n\in {\Bbb N}$ . Hyperlinear groups come from theory of operator algebras (Connes' Embedding Problem), while sofic groups, introduced by Gromov, are motivated by a problem of symbolic dynamics (Gottschalk's Surjunctivity Conjecture). Open questions are numerous, in particular (...) it is still unknown if every group is hyperlinear and/or sofic. (shrink)

“Small” large cardinal notions in the language of ZFC are those large cardinal notions that are consistent with V = L. Besides their original formulation in classical set theory, we have a variety of analogue notions in systems of admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics and recursive ordinal notations (as used in proof theory). On the face of it, it is surprising that such distinctively set-theoretical notions have analogues in such disaparate and (...) relatively constructive contexts. There must be an underlying reason why that is possible (and, incidentally, why “large” large cardinal notions have not led to comparable analogues). My long term aim is to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases. This is a program in progress. What is done here, to begin with, is to show how that can be done to a considerable extent in the settings of classical and admissible set theory (and thence, admissible recursion theory). The approach taken here is to expand the language of set theory to allow us to talk about (possibly partial) operations applicable both to sets and to operations and to formulate the large cardinal notions in question in terms of operational closure conditions; at the same time only minimal existence axioms are posited for sets. The resulting system, called Operational Set Theory, is a partial adaptation to the set-theoretical framework of the explicit mathematics framework Feferman (1975). The.. (shrink)

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}. (shrink)

Under the assumption that δ is a Woodin cardinal and GCH holds, I show that if F is any class function from the regular cardinals to the cardinals such that (1) ${\kappa < {\rm cf}(F(\kappa))}$ , (2) ${\kappa < \lambda}$ implies ${F(\kappa) \leq F(\lambda)}$ , and (3) δ is closed under F, then there is a cofinality-preserving forcing extension in which 2 γ = F(γ) for each regular cardinal γ < δ, and in which δ remains Woodin. Unlike the analogous (...) results for supercompact cardinals [Menas in Trans Am Math Soc 223:61–91, (1976)] and strong cardinals [Friedman and Honzik in Ann Pure Appl Logic 154(3):191–208, (2008)], there is no requirement that the function F be locally definable. I deduce a global version of the above result: Assuming GCH, if F is a function satisfying (1) and (2) above, and C is a class of Woodin cardinals, each of which is closed under F, then there is a cofinality-preserving forcing extension in which 2 γ = F(γ) for all regular cardinals γ and each cardinal in C remains Woodin. (shrink)

We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal. Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.

We give an overview of recent results in ordinal analysis. Therefore, we discuss the different frameworks used in mathematical proof-theory, namely "subsystem of analysis" including "reverse mathematics", "Kripke-Platek set theory", "explicit mathematics", "theories of inductive definitions", "constructive set theory", and "Martin-Löf's type theory".

We show that the theory, consisting of the usual axioms of but with the power set axiom removed—specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be well‐ordered—is weaker than commonly supposed and is inadequate to establish several basic facts often desired in its context. For example, there are models of in which ω1 is singular, in which every set of reals is countable, yet ω1 exists, in which there are sets of (...) reals of every size, but none of size, and therefore, in which the collection axiom fails; there are models of for which the Łoś theorem fails, even when the ultrapower is well‐founded and the measure exists inside the model; there are models of for which the Gaifman theorem fails, in that there is an embedding of models that is Σ1‐elementary and cofinal, but not elementary; there are elementary embeddings of models whose cofinal restriction is not elementary. Moreover, the collection of formulas that are provably equivalent in to a Σ1‐formula or a Π1‐formula is not closed under bounded quantification. Nevertheless, these deficits of are completely repaired by strengthening it to the theory, obtained by using collection rather than replacement in the axiomatization above. These results extend prior work of Zarach. (shrink)

The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} (as an analogue of the axiom of real determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{AD}_\mathbb{R}}$$\end{document}). We prove that the consistency strength of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} is strictly greater than that of AD. (shrink)

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ‮א‬₁. Later we give applications, among them the consistency of MM with ‮א‬ω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.

The point of departure for this panel is a somewhat controversial paper that I published in the American Mathematical Monthly under the title “Does mathematics need new axioms?” [4]. The paper itself was based on a lecture that I gave in 1997 to a joint session of the American Mathematical Society and the Mathematical Association of America, and it was thus written for a general mathematical audience. Basically, it was intended as an assessment of Gödel’s program for new axioms that (...) he had advanced most prominently in his 1947 paper for the Monthly, entitled “What is Cantor’s continuum problem?” [7]. My paper aimed to be an assessment of that program in the light of research in mathematical logic in the intervening years, beginning in the 1960s, but especially in more recent years. (shrink)

We deal with some natural properties of ultrafilters which trivially fail for normal ultrafilters.

A question of Woodin asks if κ is strongly compact and GCH holds below κ, then must GCH hold everywhere? One variant of this question asks if κ is strongly compact and GCH fails at every regular cardinal δ < κ, then must GCH fail at some regular cardinal δ ≥ κ? Another variant asks if it is possible for GCH to fail at every limit cardinal less than or equal to a strongly compact cardinal κ. We get a negative (...) answer to the first of these questions and positive answers to the second of these questions for a supercompact cardinal κ in the context of the absence of the full Axiom of Choice. (shrink)

The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the problem—and of its solution—at a slow pace.Breathtaking developments in the mid 1980s found (...) one of its culminations in the theorem, due to Martin, Steel, and Woodin, that the existence of infinitely many Woodin cardinals with a measurable cardinal above them all implies that AD, the axiom of determinacy, holds in the least inner model containing all the reals, L. One of the nice things about AD is that the theory ZF + AD + V = L appears as a choiceless “completion” of ZF in that any interesting question seems to find an at least attractive answer in that theory. Beyond that, AD is very canonical as may be illustrated as follows.Let us say that L is absolute for set-sized forcings if for all posets P ∈ V, for all formulae ϕ, and for all ∈ ℝ do we have thatwhere is a name for the set of reals in the extension. (shrink)

This paper criticizes non-constructive uses of set theory in formal economics. The main focus is on results on preference aggregation and Arrow’s theorem for infinite electorates, but the present analysis would apply as well, e.g., to analogous results in intergenerational social choice. To separate justified and unjustified uses of infinite populations in social choice, I suggest a principle which may be called the Hildenbrand criterion and argue that results based on unrestricted axiom of choice do not meet this criterion. The (...) technically novel part of this paper is a proposal to use a set-theoretic principle known as the axiom of determinacy ), not as a replacement for Choice, but simply to eliminate applications of set theory violating the Hildenbrand criterion. A particularly appealing aspect of \ from the point of view of the research area in question is its game-theoretic character. (shrink)

We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero [4] calculates correctly the successors of Jónsson cardinals, assuming $O^{Sword}$ does not exist. Namely, if $\kappa$ is a Jónsson cardinal then $\kappa^+ = \kappa^{+K}$ , provided that there is no non-trivial elementary embedding $j:K \longrightarrow K$ . There are a number of related results in ZFC concerning $\cal{P}(\kappa)$ in V and inner models, for $\kappa$ a Jónsson or singular cardinal.

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinal axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinal properties can be defined in terms of suitable elementary embeddings j:Vγ→Vλ. One key observation is that such embeddings are uniquely determined by the image structures j[Vγ]≺Vλ. These structures will be the prototypes guessing models. We shall show, (...) using guessing models M, how to prove for the ordinal κM=jM) many of the combinatorial properties that we can prove for the cardinal j) using the structure j[Vγ]≺Vj. κM will always be a regular cardinal, but consistently can be a successor and guessing models M with κM=ℵ2 exist assuming the proper forcing axiom. By means of these models we shall introduce a new structural property of models of PFA: the existence of a “Laver function” f:ℵ2→Hℵ2 sharing the same features of the usual Laver functions f:κ→Hκ provided by a supercompact cardinal κ. Further applications of our analysis will be proofs of the singular cardinal hypothesis and of the failure of the square principle assuming the existence of guessing models. In particular the failure of square shows that the existence of guessing models is a very strong assumption in terms of large cardinal strength. (shrink)

An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and (...) unify Theorems 1 and 2 of [5], due to the first author. (shrink)

The continuum function αmaps to2α on regular cardinals is known to have great freedom. Let us say that F is an Easton function iff for regular cardinals α and β, image and α<β→F≤F. The classic example of an Easton function is the continuum function αmaps to2α on regular cardinals. If GCH holds then any Easton function is the continuum function on regular cardinals of some cofinality-preserving extension V[G]; we say that F is realised in V[G]. However if we also wish (...) to preserve measurable cardinals, new restrictions must be put on F. We say that κ is F-hypermeasurable iff there is an elementary embedding j:V→M with critical point κ such that H)Vsubset of or equal toM; j will be called a witnessing embedding. We will show that if GCH holds then for any Easton function F there is a cofinality-preserving generic extension V[G] such that if κ, closed under F, is F-hypermeasurable in V and there is a witnessing embedding j such that j≥F, then κ will remain measurable in V[G]. (shrink)

Set theory deals with the most fundamental existence questions in mathematics—questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the existence of sets. Especially noteworthy are principles establishing the existence of some infinite sets, the so-called “arbitrary sets.” This paper is devoted to an analysis of the motivating goal of studying arbitrary sets, usually referred to under the labels of quasi-combinatorialism or combinatorial maximality. After explaining what (...) is meant by definability and by “arbitrariness,” a first historical part discusses the strong motives why set theory was conceived as a theory of arbitrary sets, emphasizing connections with analysis and particularly with the continuum of real numbers. Judged from this perspective, the axiom of choice stands out as a most central and natural set-theoretic principle (in the sense of quasi-combinatorialism). A second part starts by considering the potential mismatch between the formal systems of mathematics and their motivating conceptions, and proceeds to offer an elementary discussion of how far the Zermelo—Fraenkel system goes in laying out principles that capture the idea of “arbitrary sets”. We argue that the theory is rather poor in this respect. (shrink)

Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based on (...) T, such that the counterpart `i' of a the modal variable `xi' of L(Tm) in this translation-scheme ranges over elements of V(C) that are 1-types of T with value 1 (sometimes called `definite' C-valued 1-types of T). (shrink)

We show that strongly compact cardinals and MM are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding ‘regressive' $\lambda$-Kurepa trees in either case. We argue that the destruction of regressive Kurepa trees requires a non-standard application of MM. As a corollary, we find a consistent example of an $\omega_2$-closed poset that is not forcing equivalent to any $\omega_2$-directed-closed poset.

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.