We improve results of Marczewski, Frankiewicz, Brown, and others comparing the $\sigma$-ideals of measure zero, meager, Marczewski measure zero, and completely Ramsey null sets; in particular, we remove CH from the hypothesis of many of Brown's constructions of sets lying in some of these ideals but not in others. We improve upon work of Marczewski by constructing, without CH, a nonmeasurable Marczewski measure zero set lacking the property of Baire. We extend our analysis of $\sigma$-ideals to include the completely Ramsey (...) null sets relative to a Ramsey ultrafilter and obtain all 32 possible examples of sets in some ideals and not others, some under the assumption of MA, but most in ZFC alone. We also improve upon the known constructions of a Marczewski measure zero set which is not Ramsey by using a set theoretic hypothesis which is weaker than those used by other authors. We give several consistency proofs: one concerning the relative sizes of the covering numbers for the meager sets and the completely Ramsey null sets; another concerning the size of non; and a third concerning the size of add$. We also study those classes of perfect sets which are bases for the class of always first category sets. (shrink)

We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at $\aleph_{\omega + 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].

Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ (...) problem and why it has proven hard to resolve, and the role of non-classical modes of computation and proof. (shrink)

This article addresses the question of fundamental entities in set theory. It takes up J. Hamkins’ claim that models of set theory are such fundamental entities and investigates it using the methodology of P. Maddy’s naturalism, Second Philosophy. In accordance with this methodology, I investigate the historical case study of the use of models in the introduction of forcing, compare this case to contemporary practice and give a systematic account of how set-theoretic practice can be said to introduce models as (...) new entities. In conclusion, I argue for a view that takes both sets and models to be fundamental entities in set theory. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity predicate (...) so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

In providing a good foundation for mathematics, set theorists often aim to develop the strongest theories possible and avoid those theories that place undue restrictions on the capacity to possess strength. For example, adding a measurable cardinal to $ZFC$ is thought to give a stronger theory than adding $V=L$ and the latter is thought to be more restrictive than the former. The two main proponents of this style of account are Penelope Maddy and John Steel. In this paper, I’ll offer (...) a third account that is intended to provide a simple analysis of restrictiveness based on the algebraic concept of retraction in the category of theories. I will also deliver some results and arguments that suggest some plausible alternative approaches to analyzing restrictiveness do not live up to their intuitive motivation. (shrink)

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

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

A number of philosophers have attempted to solve the problem of null-probability possible events in Bayesian epistemology by proposing that there are infinitesimal probabilities. Hájek and Easwaran have argued that because there is no way to specify a particular hyperreal extension of the real numbers, solutions to the regularity problem involving infinitesimals, or at least hyperreal infinitesimals, involve an unsatisfactory ineffability or arbitrariness. The arguments depend on the alleged impossibility of picking out a particular hyperreal extension of the real numbers (...) and/or of a particular value within such an extension due to the use of the Axiom of Choice. However, it is false that the Axiom of Choice precludes a specification of a hyperreal extension—such an extension can indeed be specified. Moreover, for all we know, it is possible to explicitly specify particular infinitesimals within such an extension. Nonetheless, I prove that because any regular probability measure that has infinitesimal values can be replaced by one that has all the same intuitive features but other infinitesimal values, the heart of the arbitrariness objection remains. (shrink)

Cantor proved that no set has a bijection between itself and its power set. This is widely taken to have shown that there infinitely many sizes of infinite sets. The argument depends on the princip...

Many contemporary metaphysicians believe that the existence of a contingent object such as Socrates metaphysically explains the existence of the corresponding set {Socrates}. This paper argues that this belief is mistaken. The argument proposed takes the form of a dilemma. The expression “{Socrates}” is a shorthand either for the expression “the set that contains all and only those objects that are identical to Socrates” or for the expression “the set that contains Socrates and nothing else”. However, Socrates' existence does not (...) explain the existence of the set that contains all and only those objects that are identical to Socrates, because there is such a set no matter whether or not Socrates exists. And although Socrates' existence does explain that of the set that contains Socrates and nothing else, this explanation is a conceptual rather than a metaphysical one. Both these claims rely on a deflationary account of the use of set theoretic vocabulary that is explained, though not properly justified, in the paper. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The validity predicate (...) so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Given a supercompact cardinal κ and a regular cardinal Λ < κ, we describe a type of forcing such that in the generic extension the cofinality of κ is Λ, there is a very good scale at κ, a bad scale at κ, and SCH at κ fails. When creating our model we have great freedom in assigning the value of 2κ, and so we can make SCH hold or fail arbitrarily badly.

Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and Nadel extended his result to Scott sets of size ω₁. Here, I show that assuming the Proper Forcing Axiom (PFA), every A-proper Scott set is the standard system of a model of PA. I define that a Scott set X is proper if the quotient Boolean algebra X/Fin is a proper partial order and A-proper (...) if X is additionally arithmetically closed. I also investigate the question of the existence of proper Scott sets. (shrink)

We study the partition relation $X@>{\rm w}>>[Y]_{p}^{2}$ that is a weakening of the usual partition relation $X\rightarrow [Y]_{p}^{2}$ . Our main result asserts that if κ is an uncountable strongly compact cardinal and $\germ{d}_{\kappa}\leq \lambda ^{<\kappa}$ , then $I_{\kappa,\lambda}^{+}@>{\rm w}>>[I_{\kappa,\lambda}^{+}]_{\lambda <\kappa}^{2}$ does not hold.

In this paper, we characterize the possible cofinalities of the least $\lambda $ -strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $\delta $, that carries a $\lambda $ -complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above $\delta $, that the least $\lambda $ -strongly compact cardinal has cofinality $\delta $. On the other hand, provably the cofinality of the least $\lambda $ -strongly compact cardinal always carries a (...) $\lambda $ -complete uniform ultrafilter. (shrink)

We discuss a problem asked by E. van Douwen and A. Miller [5] in various forcing models.

Rado’s Conjecture is a compactness/reflection principle that says any nonspecial tree of height ω1 has a nonspecial subtree of size ℵ1. Though incompatible with Martin’s Axiom, Rado’s Conjecture turns out to have many interesting consequences that are also implied by certain forcing axioms. In this paper, we obtain consistency results concerning Rado’s Conjecture and its Baire version. In particular, we show that a fragment of PFA, which is the forcing axiom for Baire Indestructibly Proper forcings, is compatible with the Baire (...) Rado’s Conjecture. As a corollary, the Baire Rado’s Conjecture does not imply Rado’s Conjecture. Then we discuss the strength and limitations of the Baire Rado’s Conjecture regarding its interaction with stationary reflection principles and some families of weak square principles. Finally, we investigate the influence of Rado’s Conjecture on some polarized partition relations. (shrink)

We show that it is consistent with ZFC + ¬CH that there is a maximal cofinitary group (or, maximal almost disjoint group) G ≤ Sym(ω) such that G is a proper subset of an almost disjoint family A $\subseteq$ Sym(ω) and |G| < |A|. We also ask several questions in this area.

Certain separation problems in descriptive set theory correspond to a forcing preservation property, with a fusion type infinite game associated to it. As an application, it is consistent with the axioms of set theory that the circle.

It is consistent with ZF $\mathsf {ZF}$ set theory that the Euclidean topology on R $\mathbb {R}$ is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres.

Certain set theoretical notions cannot be split into finer subnotions.

Given a Polish space X and a countable collection of analytic hypergraphs on X, I consider the σ-ideal generated by Borel anticliques for the hypergraphs in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies.

There is an optimal way of increasing certain cardinal invariants of the continuum.

Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither relies on a constructive-intuitionistic form (...) of mathematics, as used by Ladyman and Presnell, nor is foundationally problematic, such as the existing set-theoretic suggestions. (shrink)

Boolean-valued models for first-order languages generalize two-valued models, in that the value range is allowed to be any complete Boolean algebra instead of just the Boolean algebra 2. Boolean-valued models are interesting in multiple aspects: philosophical, logical, and mathematical. The primary goal of this paper is to extend a number of critical model-theoretic notions and to generalize a number of important model-theoretic results based on these notions to Boolean-valued models. For instance, we will investigate (first-order) Boolean valuations, which are natural (...) generalizations of (first-order) theories, and prove that Boolean-valued models are sound and complete with respect to Boolean valuations. With the help of Boolean valuations, we will also discuss the Löwenheim-Skolem theorems on Boolean-valued models. (shrink)

European Journal of Philosophy, Volume 30, Issue 2, Page 578-600, June 2022.

We follow [8] in asking when a set of ordinals $X \subseteq \alpha$ is a countable union of sets in K, the core model. We show that, analogously to L, and X closed under the canonical Σ 1 Skolem function for K α can be so decomposed provided K is such that no ω-closed filters are put on its measure sequence, but not otherwise. This proviso holds if there is no inner model of a weak Erdős-type property.

A generalized version of Martin's axiom, called BACH, is shown to be equivalent to one of its combinatorial consequences, a generalization of P(c).

We establish several first- or second-order properties of models of first-order theories by considering their elements as atoms of a new universe of set theory and by extending naturally any structure of Boolean model on the atoms to the whole universe. For example, complete f-rings are "boundedly algebraically compact" in the language $(+,-,\cdot,\wedge,\vee,\leq)$ , and the positive cone of a complete l-group with infinity adjoined is algebraically compact in the language (+, ∨, ≤). We also give an example with any (...) first-order language. The proofs can be translated into "naive set theory" in a uniform way. (shrink)

In this paper, we explore the role of syntactic representations in set theory. We highlight a common inferential scheme in set theory, which we call the Syntactic Representation Inferential Scheme, in which the set theorist infers information about a concept based on the way that concept can be represented syntactically. However, the actual syntactic representation is only indicated, not explicitly provided. We consider this phenomenon in relation to the derivation indicator position that asserts that the ordinary proofs given in mathematical (...) discourse indicate syntactic derivations in a formal logical system. In particular, we note that several of the arguments against the derivation indicator position would seem to imply that set theorists could gain no benefits from the syntactic representations of concepts indicated by their definitions, yet set theorists clearly do. (shrink)

We survey the use of extra-set-theoretic hypotheses, mainly the continuum hypothesis, in the C*-algebra literature. The Calkin algebra emerges as a basic object of interest.

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...) model of all the axioms of Zermelo-Fraenkel set theory with the exception of the power set axiom. The proof of this result appeals to G\"odel's constructible universe of sets, which G\"odel famously used to show the relative consistency of the continuum hypothesis. More specifically, our proofs appeal to Kripke and Platek's idea of the projectum within the constructible universe as well as to a weak version of uniformization (which does not involve knowledge of Jensen's fine structure theory). The axioms of the Grundgesetze are examples of abstraction principles, and the other primary aim of this paper is to articulate a sufficient condition for the consistency of abstraction principles with limited amounts of comprehension. As an application, we resolve an analogue of the joint consistency problem in the predicative setting. (shrink)

We present recent results on the model companions of set theory, placing them in the context of a current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{\kappa ^+}$, as $\kappa (...) $ ranges among the infinite cardinals. We also single out $2^{\aleph _0}=\aleph _2$ as the unique solution of the continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). While doing so we bring to light that set theory enriched by large cardinal axioms in the range of supercompactness has as its model companion (with respect to its first order axiomatization in certain natural signatures) the theory of $H_{\aleph _2}$ as given by a strong form of Woodin’s axiom $(*)$ (which holds assuming $\mathsf {MM}^{++}$ ). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert’s axiom of completeness. (shrink)

Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of such that , the ideal generated by the non-stationary ideal over together with , is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis . We also show that in our model we can make -saturated, where S is the (...) set of all such that , the order type of x, is a regular cardinal and x is stationary in sup. Furthermore we construct a model where is κ+-saturated but GCH fails. We show that if SS is stationary in , then S can be split into λ many disjoint stationary subsets. (shrink)

The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection and show that it gives rise to families of axioms which are consistent relative to extendible cardinals, and which imply the strongest known instances of forcing axioms, such as Martin’s Maximum++. In addition, we study the unbounded resurrection postulates in terms of consistency lower bounds, obtaining, (...) for example, failures of the weak square principle. (shrink)

Iterated admissibility embodies a minimal criterion of rationality in interactions. The epistemic characterization of this solution has been actively investigated in recent times: it has been shown that strategies surviving \ rounds of iterated admissibility may be identified as those that are obtained under a condition called rationality and m assumption of rationality in complete lexicographic type structures. On the other hand, it has been shown that its limit condition, with an infinity assumption of rationality ), might not be satisfied (...) by any state in the epistemic structure, if the class of types is complete and the types are continuous. In this paper we analyze the problem in a different framework. We redefine the notion of type as well as the epistemic notion of assumption. These new definitions are sufficient for the characterization of iterated admissibility as the class of strategies that indeed satisfy \. One of the key methodological innovations in our approach involves defining a new notion of generic types and employing these in conjunction with Cohen’s technique of forcing. (shrink)

We investigate club guessing sequences and filters. We prove that assuming V=L, there exists a strong club guessing sequence on μ if and only if μ is not ineffable for every uncountable regular cardinal μ. We also prove that for every uncountable regular cardinal μ, relative to the existence of a Woodin cardinal above μ, it is consistent that every tail club guessing ideal on μ is precipitous.

Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it is (...) of the essence of cardinal numbers that the cardinal size of a collection does not depend upon how its members are ordered'. This paper's goal is to implement Hale's response to the Good Company problem by producing a Cantorian argument for HP. In Section 2, we present the Heck-Mancosu argument against neologicism. In Section 3, we discuss Hale's defence of Hume's Principle. In Section 4, we discuss Cantor's abstractionist definitions of number. In Section 5, we argue that good abstraction must comply with what we call ‘Gödel’s Minimal Account of Abstraction’ (GMAA). We finally show (Sections 5 and 6) that non-Cantorian theories of cardinality fail to satisfy GMAA. (shrink)