• Corpus ID: 9677306

Independence and Large Cardinals

  title={Independence and Large Cardinals},
  author={Peter Koellner},
The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possible mathematical systems is under the relation of interpretability. Under this relation the space of possible mathematical systems forms an intricate hierarchy of increasingly strong systems. Large cardinal axioms provide a canonical means of climbing this hierarchy and they play a central role in comparing systems from conceptually distinct… 
On the Hierarchy of Natural Theories
It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of “natural,” it is unclear how to
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
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
Executing Gödel’s programme in set theory
The study of set theory (a mathematical theory of infinite collections) has garnered a great deal of philosophical interest since its development. There are several reasons for this, not least
What model companionship can say about the Continuum problem
. We present recent results on the model companions of set theory, placing them in the context of the current debate in the philosophy of mathematics. We start by describing the dependence of the
Maximality and ontology: how axiom content varies across philosophical frameworks
Critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception of set is provided, arguing that forms of multiversism and actualism face complementary problems.
Why is the universe of sets not a set?
This paper argues against the two main alternative answers to the guiding question of why there is no set of all sets and outlines a close alternative to the minimal explanation, the conception-based explanation.
Can we resolve the continuum hypothesis?
I argue that contemporary set theory, as depicted in the 2011–2012 EFI lecture series, lacks a program that promises to decide, in a genuinely realist fashion, the continuum hypothesis (CH) and
Can we resolve the Continuum Hypothesis ? April 28 , 2017
  • Philosophy
  • 2017
I argue that that contemporary set theory, as depicted in the 20112012 EFI lecture series, lacks a program that promises to decide, in a genuinely realist fashion, the continuum hypothesis (CH) and


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
The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History
William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980's to the
Handbook of Set Theory
Handbook of Set Theory, Volume I, Akihiro Kanamori, 0. Introduction Thomas Jech, 1. Stationary Sets Andras Hajnal and Jean Larson, 2. Partition Relations Stevo Todorcevic, 3. Coherent Sequences Greg
Handbook of proof theory
On reflection principles
Constructing Cardinals from Below
If the initial segment Σ of Ω is a set, then it has a least strict upper bound S(Σ) ∈ Ω. Thus, for numbers α = S(Σ) and β = S(Σ′), α < β iff α ∈ Σ′; α = β iff Σ = Σ′; S(∅) is the least number 0
Set theory - an introduction to independence proofs
  • K. Kunen
  • Mathematics
    Studies in logic and the foundations of mathematics
  • 1983
The Foundations of Set Theory and Infinitary Combinatorics are presented, followed by a discussion of easy Consistency Proofs and Defining Definability.
On the Incompleteness Theorems
New proofs of both incompleteness theorems using quickly growing functions are given, without using the diagonalization lemma, and are tried to make the paper as model-theoretic as possible.
Aspects of Incompleteness, Vol. 10 of Lecture Notes in Logic, second edn, Association of Symbolic Logic
  • 2003