Cover Image

Librationism & its classical and extraclassical set theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bjørdal, Frode A.
Format:	Preprint
Published:	2022
Subjects:	Logic 03B30, 03E20, 03E45, 03E47, 03E65, 03E70, 03E99,
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

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

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

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

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)

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

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

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

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

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

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

The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Kurepa trees, continuous images, and perfect set properties
by: Lambie-Hanson, Chris, et al.
Published: (2024)

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

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

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

There may be an $n$-entangled set but no $n+1$-entangled sets
by: Chapital, Jorge Antonio Cruz
Published: (2025)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

Low level definability above large cardinals
by: Schlutzenberg, Farmer
Published: (2024)

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

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)

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

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

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

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

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

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

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

$κ$-barely independent families and Tukey types of ultrafilters
by: Chapital, Jorge Antonio Cruz
Published: (2025)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)

Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)