Cover Image

Separating Subversion Forcing Axioms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sakai, Hiroshi, Switzer, Corey Bacal
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Variants of Baumgartner's Axiom for Lipschitz Functions on Baire and Cantor Space
by: Switzer, Corey Bacal
Published: (2025)

Weak Baumgartner axioms and universal spaces
by: Switzer, Corey Bacal
Published: (2025)

A note on adding isomorphisms and the pseudointersection number
by: Switzer, Corey Bacal
Published: (2025)

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

Eventual Capture on a Measurable Cardinal
by: Benhamou, Tom, et al.
Published: (2025)

Tight Eventually Different Families
by: Fischer, Vera, et al.
Published: (2021)

Adding $\aleph_ω$ many Cohen reals
by: Marun, Pedro, et al.
Published: (2025)

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

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)

Separable C*-algebras Without the Countable Axiom of Choice
by: Blackadar, Bruce, et al.
Published: (2026)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)

Generalized Tukey reducibility between $σ$-directed sets
by: Sakai, Hiroshi, et al.
Published: (2025)

The Largest Suslin Axiom
by: Sargsyan, Grigor, et al.
Published: (2021)

The Open Coloring Axiom
by: Matos-Wiederhold, Tonatiuh
Published: (2022)

Axiom $\mathcal{A}$ and supercompactness
by: Poveda, Alejandro
Published: (2024)

The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)

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

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

Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)

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

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
by: Ju, Daheng, et al.
Published: (2024)

Left-Linear Completion with AC Axioms
by: Niederhauser, Johannes, et al.
Published: (2024)

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

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Multi-level Nonstandard Analysis and the Axiom of Choice
by: Hrbacek, Karel
Published: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
by: Blot, Valentin, et al.
Published: (2024)

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

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

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
by: Ikegami, Daisuke, et al.
Published: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
by: Castelnovo, Davide, et al.
Published: (2024)

Axe 'Em: Eliminating Spurious States with Induction Axioms
by: Elad, Neta, et al.
Published: (2024)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
by: Yoo, Harim
Published: (2025)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)