Characterizing large cardinals through Neeman's pure side condition forcing
From MaRDI portal
Publication:5146430
DOI10.4064/fm662-1-2020zbMath1473.03032arXiv1810.13209OpenAlexW3018757906MaRDI QIDQ5146430
Ana Njegomir, Philipp Lücke, Peter Holy
Publication date: 25 January 2021
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.13209
Consistency and independence results (03E35) Large cardinals (03E55) Other combinatorial set theory (03E05)
Cites Work
- Unnamed Item
- Unnamed Item
- The combinatorial essence of supercompactness
- On the consistency strength of the proper forcing axiom
- Adding closed unbounded subsets of \(\omega_2\) with finite forcing
- Continuous images of closed sets in generalized Baire spaces
- Partition relations for partially ordered sets
- Local coherence.
- Small embedding characterizations for large cardinals
- Walks on ordinals and their characteristics
- Forcing with sequences of models of two types
- On the role of supercompact and extendible cardinals in logic
- Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
- Iterated Forcing and Elementary Embeddings
- Special Square Sequences
- Trees, subtrees and order types
- Indescribable cardinals and elementary embeddings
- Saturated ideals
- Combinatorial Characterization of Supercompact Cardinals
- Potent Axioms
- Extensions with the approximation and cover properties have no new large cardinals
- Laver sequences for extendible and super-almost-huge cardinals
- Separating stationary reflection principles
- □ on the singular cardinals
- On the Semantics of the Constructible Levels
- Aronszajn trees and the independence of the transfer property
- The fine structure of the constructible hierarchy
This page was built for publication: Characterizing large cardinals through Neeman's pure side condition forcing
