Cover Image

On forcing axioms and weakenings of the Axiom of Choice

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bomfim, Diego Lima, Morgan, Charles, da Silva, Samuel Gomes
Format:	Preprint
Published:	2024
Subjects:	Logic 03E25, 03E57, 03E05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

The *-variation of the Banach-Mazur game and forcing axioms
by: Yoshinobu, Yasuo
Published: (2015)

A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)

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

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

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

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

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

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

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

Baumgartner's Axiom and Small Posets
by: Marun, Pedro, et al.
Published: (2025)

Echeloned saturation and forcing axioms
by: Garti, Shimon
Published: (2024)

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

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

Homogeneous forcing
by: Shelah, Saharon
Published: (2026)

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

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

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

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

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

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

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

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

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

A ccc indestructible construction with CH
by: Peng, Yinhe
Published: (2025)

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

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

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

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

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