On reflection principles

DOI10.1016/j.apal.2008.09.007zbMath1162.03030OpenAlexW2080785007MaRDI QIDQ5901498

Peter Koellner

Publication date: 25 March 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.007

zbMATH Keywords

incompletenessreflection principleslarge cardinal axioms

Mathematics Subject Classification ID

Large cardinals (03E55)

Related Items (25)

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ Maddy On The Multiverse ⋮ Proving Theorems from Reflection ⋮ Obtaining Woodin’s cardinals ⋮ Reflective mereology ⋮ A STRONG REFLECTION PRINCIPLE ⋮ Set-theoretic reflection is equivalent to induction over well-founded classes ⋮ Absolute Infinity in Class Theory and in Theology ⋮ Forcing, Multiverse and Realism ⋮ Multiverse Conceptions in Set Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On Strong Forms of Reflection in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Multiverse conceptions in set theory ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ A consistency proof for some restrictions of Tait's reflection principles ⋮ On strong forms of reflection in set theory ⋮ Feferman and the Truth ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ Can we resolve the continuum hypothesis? ⋮ Maximality and ontology: how axiom content varies across philosophical frameworks ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The hyperuniverse program

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Godel's Unpublished Papers on Foundations of Mathematics†
• Gödel's Conceptual Realism
• On the Question of Absolute Undecidability
• Incompatible Ω-Complete Theories
• A Proof of Projective Determinacy
• Reflecting on incompleteness
• Platonism and Mathematical Intuition in Kurt Gödel's Thought
• What is Cantor's Continuum Problem?

This page was built for publication: On reflection principles