# 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…

## 27 Citations

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

- PhilosophyJ. Philos. Log.
- 2020

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

- Philosophy
- 2017

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

- Economics
- 2022

. 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

- Philosophy, Mathematics
- 2014

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

- Economics
- 2018

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

- MathematicsComput.
- 2021

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

- Philosophy, MathematicsNotre 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

- Mathematics
- 2019

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

- Mathematics
- 2018

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

- EducationNotre 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.

## References

SHOWING 1-10 OF 62 REFERENCES

The Continuum Hypothesis, Part I

- Philosophy
- 2001

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

- Mathematics, EconomicsJournal 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

- Mathematics
- 2011

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

- Economics
- 2005

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

- MathematicsJ. Symb. Log.
- 1991

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

- Mathematics
- 1995

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

- Economics
- 2001

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

- Philosophy, Mathematics
- 2006

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

- Mathematics
- 2010

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

- Philosophy
- 2004

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…