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

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

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

- PhilosophyPhilosophical Studies Series
- 2019

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

- PhilosophyThe Australasian Journal of Logic
- 2020

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

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

### Truth in Mathematics: The Question of Pluralism

- Philosophy
- 2009

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

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

### DOES MATHEMATICS NEED NEW AXIOMS

- Philosophy
- 1999

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

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