:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Peng, Yinhe
Format:	Preprint
Published:	2025
Subjects:	Logic 03E57, 03E65, 03E02
Online Access:	https://arxiv.org/abs/2512.24821
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distinguishing Martin's axiom from its restrictions
by: Peng, Yinhe
Published: (2024)

Forcing Axioms and construction schemes
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)

Multiple gaps and some finitizations of club and CH
by: Chapital, Jorge Antonio Cruz
Published: (2025)

Fragments of Martin's axiom
by: Peng, Yinhe
Published: (2025)

A Road To Compactness Through Guessing Models
by: Mohammadpour, Rahman
Published: (2022)

On Indestructible Strongly Guessing Models
by: Mohammadpour, Rahman, et al.
Published: (2023)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
by: Fuchino, Sakaé
Published: (2025)

Generic Absoluteness Revisited
by: Fuchino, Sakaé, et al.
Published: (2024)

Reflection and Recurrence
by: Fuchino, Sakaé
Published: (2024)

On Recurrence Axioms
by: Fuchino, Sakaé, et al.
Published: (2024)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

Hindman's Theorem in the hierarchy of Choice Principles
by: Fernández-Bretón, David J.
Published: (2022)

A virtual five element basis for the uncountable linear orders
by: Krueger, John, et al.
Published: (2025)

Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
by: Lietz, Andreas
Published: (2024)

Galvin's property at large cardinals and an application to partition calculus
by: Benhamou, Tom, et al.
Published: (2022)

Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
Published: (2025)

Martin's Axiom and Weak Kurepa Hypothesis
by: Mohammadpour, Rahman
Published: (2024)

An Iteration Theorem for $ω_1$-preserving Forcings
by: Lietz, Andreas
Published: (2024)

Generically extendible cardinals
by: Usuba, Toshimichi
Published: (2022)

On forcing axioms and weakenings of the Axiom of Choice
by: Bomfim, Diego Lima, et al.
Published: (2024)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)

Iteration theorems for subversions of forcing classes
by: Fuchs, Gunter, et al.
Published: (2020)

On a problem of Erdos and Hajnal
by: Garti, Shimon, et al.
Published: (2025)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
by: Honzik, Radek
Published: (2025)

Ultrafilters in the random real model
by: Dow, Alan, et al.
Published: (2025)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

Infinite Hat Problems and Large Cardinals
by: Lietz, Andreas, et al.
Published: (2024)

Hungarian Cubes
by: Garti, Shimon
Published: (2024)

The ZFC analogue of the Halpern-Levy theorem
by: Stefanović, Nedeljko
Published: (2023)

Galvin's Conjecture and Weakly Precipitous Ideals
by: Eisworth, Todd
Published: (2023)

Superclub, splitting, separating statements
by: Garti, Shimon, et al.
Published: (2023)

Long Strong Chains of Subsets of $ω_1$
by: Asperó, David, et al.
Published: (2026)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

A metric lifting theorem
by: De Bondt, Ben, et al.
Published: (2024)

Square-bracket operations clubs
by: Guzman, Osvaldo, et al.
Published: (2026)