LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION

DOI10.1017/bsl.2023.2MaRDI QIDQ5884254

Joan Bagaria

Publication date: 20 March 2023

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.01580

zbMATH Keywords

large cardinals; reflection principles; structural reflection

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03E55: Large cardinals

03E65: Other set-theoretic hypotheses and axioms

03Exx: Set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(C ^{(n)}\)-cardinals
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Zur Axiomatik der Mengenlehre
• The core model for almost linear iterations
• On strengthenings of superstrong cardinals
• Definable orthogonality classes in accessible categories are small
• Huge reflection
• Axiom schemata of strong infinity in axiomatic set theory
• On the role of supercompact and extendible cardinals in logic
• Godel's Unpublished Papers on Foundations of Mathematics†
• Beginning Inner Model Theory
• Idealist and Realist Elements in Cantor's Approach to Set Theory
• ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
• ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
• Elementary embeddings and infinitary combinatorics
• Principles of reflection in axiomatic set theory
• Proper Forcing and Remarkable Cardinals
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• A consistency proof for some restrictions of Tait's reflection principles
• Structural reflection, shrewd cardinals and the size of the continuum
• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
• LARGE CARDINALS BEYOND CHOICE
• On Ackermann's set theory
• Ackermann's set theory equals ZF
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• On reflection principles