Cover Image

$Σ_n$-correct Forcing Axioms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Goodman, Ben
Format:	Preprint
Published:	2024
Subjects:	Logic 03E57 (Primary) 03E35, 03E55, 03E65 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

Increasing the second uniform indiscernible by strongly ssp forcing
by: De Bondt, Ben, et al.
Published: (2022)

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

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

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

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

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

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

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

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

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

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

Proper classes of maximal $θ$-independent families from large cardinals
by: Ryan-Smith, Calliope
Published: (2024)

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

A new model for all $C$-sequences are trivial
by: Rinot, Assaf, et al.
Published: (2025)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)

Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
by: Pereira, Júnio Luan
Published: (2026)

Small measurable cardinals
by: Hayut, Yair, et al.
Published: (2022)

On compactness of weak square at singulars of uncountable cofinality
by: Levine, Maxwell
Published: (2022)

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

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

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

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

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

More on setwise climbability properties
by: König, Bernhard, et al.
Published: (2025)

Proxy principles in combinatorial set theory
by: Brodsky, Ari Meir, et al.
Published: (2024)

New consequences of PFA($T^*$)
by: Martínez-Ranero, Carlos, et al.
Published: (2025)

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

Open Colorings and Baumgartner's Axiom
by: Notaro, Lorenzo
Published: (2026)

Unthreadability with Small Conditions
by: Levine, Maxwell
Published: (2022)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

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

The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)

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

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

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

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

Cascading Variants of Internal Approachability
by: Jakob, Hannes
Published: (2024)

Slender Trees and the Approximation Property
by: Jakob, Hannes
Published: (2024)

On Namba Forcing and Minimal Collapses
by: Levine, Maxwell
Published: (2024)