HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS

DOI10.1017/JSL.2017.65zbMath1447.03018OpenAlexW2802170162WikidataQ129898880 ScholiaQ129898880MaRDI QIDQ4638988

Gunter Fuchs

Publication date: 2 May 2018

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

Full work available at URL: https://semanticscholar.org/paper/0c534b19a8e93a8fd1cb0075281b13d078af173e

zbMATH Keywords

bounded forcing axiomsforcing axiomsextendible cardinalssquare principlesremarkable cardinalsresurrection axiomssubcomplete forcingvirtually extendible cardinalsweak forcing axioms

Mathematics Subject Classification ID

Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Related Items (6)

Subcomplete forcing principles and definable well‐orders ⋮ Diagonal reflections on squares ⋮ Canonical fragments of the strong reflection principle ⋮ SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS ⋮ Virtual large cardinals ⋮ COMBINING RESURRECTION AND MAXIMALITY

Cites Work

• Unnamed Item
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Set theory. An introduction to independence proofs
• Bounded forcing axioms as principles of generic absoluteness
• The subcompleteness of Magidor forcing
• Strongly uplifting cardinals and the boldface resurrection axioms
• Resurrection axioms and uplifting cardinals
• Coherent sequences and threads
• Ramsey-like cardinals
• Ramsey-like cardinals II
• Coherent Sequences
• Martin’s maximum and weak square
• A simple maximality principle
• Combined Maximality Principles up to large cardinals
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Simultaneous stationary reflection and square sequences
• HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
• Removing Laver functions from supercompactness arguments
• SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
• Jensen's ⃞ principles and the Novák number of partially ordered sets
• The bounded proper forcing axiom
• Closed maximality principles: implications, separations and combinations
• ON RESURRECTION AXIOMS
• The fine structure of the constructible hierarchy
• SET MAPPING REFLECTION

This page was built for publication: HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS