Buchumschlag

The Logic of Correct Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Aguilera, Juan Pablo, Pakhomov, Fedor
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B45, 03E99
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Librationism & its classical and extraclassical set theories
von: Bjørdal, Frode A.
Veröffentlicht: (2022)

Inner Models from Extended Logics: Part 2
von: Kennedy, Juliette, et al.
Veröffentlicht: (2020)

The Monadic Grzegorczyk Logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

On Nash-Williams' Theorem regarding sequences with finite range
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

Large cardinals beyond HOD
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

Dismantling the Surprise Test "Paradox"
von: Dietzfelbinger, Martin
Veröffentlicht: (2026)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
von: Lücke, Philipp
Veröffentlicht: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

More Derived Models in PFA
von: Levinson, Derek, et al.
Veröffentlicht: (2026)

Forcing More DC Over the Chang Model Using the Thorn Sequence
von: Holland, James, et al.
Veröffentlicht: (2022)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
von: Cheng, Yong
Veröffentlicht: (2018)

Twins: non-isomorphic models forced to be isomorphic. Part I
von: Shelah, Saharon
Veröffentlicht: (2025)

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

Large cardinals, structural reflection, and the HOD Conjecture
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Higher Solovay Models
von: Straffelini, Cesare, et al.
Veröffentlicht: (2025)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2024)

Pretabular Tense Logics over S4t
von: Chen, Qian
Veröffentlicht: (2024)

Degree of Kripke-incompleteness of Tense Logics
von: Chen, Qian
Veröffentlicht: (2025)

Of Mice and Machetes
von: Henney-Turner, Christopher, et al.
Veröffentlicht: (2024)

Power $Σ_1$ in Card with two Woodin cardinals
von: Schlutzenberg, Farmer
Veröffentlicht: (2025)

Fine structure from normal iterability
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

$\star$-translation for Varsovian models
von: Schlutzenberg, Farmer
Veröffentlicht: (2026)

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

Full normalization for transfinite stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2021)

Varsovian models $ω$
von: Schlutzenberg, Farmer
Veröffentlicht: (2022)

Full normalization for $κ^+$-supercompactness
von: Schlutzenberg, Farmer
Veröffentlicht: (2025)

The initial segment condition for $κ^+$-supercompactness
von: Schlutzenberg, Farmer
Veröffentlicht: (2023)

Ordinal definability in $L[\mathbb{E}]$
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

The fine structure of operator mice
von: Schlutzenberg, Farmer, et al.
Veröffentlicht: (2016)

Iterability for (transfinite) stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2018)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
von: Schlutzenberg, Farmer
Veröffentlicht: (2019)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Ladder mice
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Partial Tower Sealing
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2020)

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

Terminal Absoluteness of Collapse Forcings
von: Straffelini, Cesare
Veröffentlicht: (2025)

$Σ^1_3$ sets in the Sacks model
von: Schilhan, Jonathan
Veröffentlicht: (2025)