Cover Image

Derived Models in PFA

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Levinson, Derek, Trang, Nam
Format:	Preprint
Published:	2025
Subjects:	Logic 03E45 (Primary) 03E60 Secondary
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)

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

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

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

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

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, 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)

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

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

The fine structure of operator mice
by: Schlutzenberg, Farmer, et al.
Published: (2016)

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

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

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)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

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

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

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

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

Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

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

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

On ordering of surjective cardinals
by: Shen, Guozhen, et al.
Published: (2025)

Subseries Numbers for Convergent Subseries
by: van der Vlugt, Tristan
Published: (2025)

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

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

Intermediate models and Kinna--Wagner Principles
by: Karagila, Asaf, et al.
Published: (2024)

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

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

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

A note on surjective cardinals
by: Jin, Jiaheng, et al.
Published: (2024)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
by: Andretta, Alessandro, et al.
Published: (2023)

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