• Corpus ID: 15696941

Large Cardinals and Determinacy

  title={Large Cardinals and Determinacy},
  author={Peter Koellner},
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?
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
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
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
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings
Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview
  • P. Welch
  • Education
    Notre Dame J. Formal Log.
  • 2015
The purpose of this article is to try and give a short, albeit rather rough, guide to the broad lines of development in set theory.


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
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
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
Structural Consequences of AD
In this chapter we survey recent advances in descriptive set theory, starting (roughly) from where Moschovakis’ book (1980) ends. Our survey is not intended to be complete, but focuses mainly on the
One hundred years of Russell's paradox : mathematics, logic, philosophy
The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the famous Russell