The strong reflecting property and Harrington's Principle
From MaRDI portal
Publication:2947238
DOI10.1002/malq.201400016zbMath1371.03063arXiv1503.04015OpenAlexW2107380911MaRDI QIDQ2947238
Publication date: 22 September 2015
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.04015
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)
Cites Work
- Generalizations of the Kunen inconsistency
- Set theory. An introduction to independence proofs
- A new condensation principle
- Proper forcing and remarkable cardinals II
- What is the theory without power set?
- Forcing a set model of Z3 + Harrington's Principle
- Constructibility and Class Forcing
- Iterated Forcing and Elementary Embeddings
- Beginning Inner Model Theory
- The Covering Lemma
- An Outline of Inner Model Theory
- Analytic determinacy and 0#
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
This page was built for publication: The strong reflecting property and Harrington's Principle