Cover Image

Monoidal Symmetric Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Basak, Dianthe
Format:	Preprint
Published:	2024
Subjects:	Logic 03E55 (Primary) 03E25, 03E45 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

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

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

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

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

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

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

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

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

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)

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

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

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

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

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

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

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

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

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

Ladder mice
by: Schlutzenberg, Farmer
Published: (2024)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

Mouse scales
by: Schlutzenberg, Farmer
Published: (2023)

Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)

$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)

Of Mice and Machetes
by: Henney-Turner, Christopher, et al.
Published: (2024)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

Fine structure from normal iterability
by: Schlutzenberg, Farmer
Published: (2020)