• Corpus ID: 15696941

Large Cardinals and Determinacy

@inproceedings{Koellner2011LargeCA,
  title={Large Cardinals and Determinacy},
  author={Peter Koellner},
  year={2011}
}
The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis of the standard system of mathematics, ZFC. This is true of statements from areas as diverse as analysis (“Are all projective sets Lebesgue measurable?”), cardinal arithmetic (“Does Cantor’s Continuum Hypothesis hold?”), combinatorics (“Does Suslin’s Hypotheses hold?”), and group theory (“Is there a Whitehead group?”). These developments gave… 

Figures from this paper

Forcing and the Universe of Sets: Must We Lose Insight?

TLDR
It is argued that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse that seems to necessitate the addition of subsets to V.

Feferman on Set Theory: Infinity up on Trial

In this paper I examine Feferman’s reasons for maintaining that while the statements of first-order number theory are “completely clear” and “completely definite,” many of the statements of analysis

The Landscape of Large Cardinals

. The purpose of this paper is to provide an introductory overview of the large cardinal hierarchy in set theory. By a large cardinal, we mean any cardinal κ whose existence is strong enough of an

Objective mathematics in a finite unbounded universe

Most mathematicians think that first order arithmetic is objectively true in some sense. Stronger formal systems lead to increasing skepticism. Substituting the philosophical question of which

Large Cardinals and the Iterative Conception of Set

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of

Nets and Reverse Mathematics, a pilot study

TLDR
It is shown that replacing nets by sequences is hard, but that replacing sequences by nets can obviate the need for the Axiom of Choice, a foundational concern in domain theory.

Splittings and Disjunctions in Reverse Mathematics

  • Sam Sanders
  • Philosophy, Mathematics
    Notre Dame J. Formal Log.
  • 2020
TLDR
It is shown in this paper that there is a plethora of (natural) splittings and disjunctions in Kohlenbach's higher-order RM.

Bootstraps, nets, and hierarchies

Classification is at the heart of the scientific enterprise, from bacteria in biology to groups in mathematics. A central classification project in mathematical logic is motivated by Goedel's

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic

On Forms of Justification in Set Theory

In the contemporary philosophy of set theory, discussion of new axiomsthat purport to resolve independence necessitates an explanation of howthey come to bejustified. Ordinarily, justification is

References

SHOWING 1-10 OF 62 REFERENCES

The Continuum Hypothesis, Part I

This problem belongs to an ever-increasing list of problems known to be unsolvable from the (usual) axioms of set theory. However, some of these problems have now been solved. But what does this

Believing the axioms. II

  • P. Maddy
  • Mathematics, Economics
    Journal of Symbolic Logic
  • 1988
This is a continuation of Believing the axioms. I, in which nondemonstrative arguments for and against the axioms of ZFC, the continuum hypothesis, small large cardinals and measurable cardinals were

The Continuum Hypothesis

The problem actually arose with the birth of set theory; indeed, in many respects it stimulated the birth of set theory. In 1874 Cantor had shown that there is a one-to-one correspondence between the

Truth in Mathematics: The Question of Pluralism

The discovery of non-Euclidean geometries (in the nineteenth century) undermined the claim that Euclidean geometry is the one true geometry and instead led to a plurality of geometries no one of

The higher infinite : large cardinals in set theory from their beginnings

The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and

DOES MATHEMATICS NEED NEW AXIOMS

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of

Reflecting on Incompleteness

To what extent can mathematical thought be analyzed in formal terms? Gödel's theorems show the inadequacy of single formal systems for this purpose, except in relatively restricted parts of

The Emergence of Descriptive Set Theory

Descriptive set theory is the definability theory of the continuum, the study of the structural properties of definable sets of reals. Motivated initially by constructivist concerns, a major

The Continuum Hypothesis , Part II

Introduction In the first part of this article, I identified the correct axioms for the structure 〈P(N),N,+, ·,∈〉 , which is the standard structure for Second Order Number Theory. The axioms,

On the Question of Absolute Undecidability

The incompleteness theorems show that for every sufficiently strong consistent formal system of mathematics there are mathematical statements undecided relative to the system. A natural and
...