Copertina

Nairian Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Blue, Douglas, Larson, Paul B., Sargsyan, Grigor
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
di: Blue, Douglas, et al.
Pubblicazione: (2026)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
di: Blue, Douglas, et al.
Pubblicazione: (2024)

Hjorth's reflection argument
di: Sargsyan, Grigor
Pubblicazione: (2021)

Generic Generators
di: Sargsyan, Grigor
Pubblicazione: (2023)

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

Towards a generic absoluteness theorem for Chang models
di: Müller, Sandra, et al.
Pubblicazione: (2023)

The Largest Suslin Axiom
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

The exact strength of generic absoluteness for the universally Baire sets
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

Gödel's Program in Set Theory
di: Müller, Sandra, et al.
Pubblicazione: (2024)

Chang models over derived models with supercompact measures
di: Gappo, Takehiko, et al.
Pubblicazione: (2023)

Ultrapowers of determinacy models as iteration trees on HOD
di: Goldberg, Gabriel, et al.
Pubblicazione: (2026)

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

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

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
di: Aksornthong, Navin, et al.
Pubblicazione: (2023)

Partial Tower Sealing
di: Sargsyan, Grigor, et al.
Pubblicazione: (2025)

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

Varsovian models II
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

Strongly increasing sequences
di: Larson, Paul B., et al.
Pubblicazione: (2025)

PFA and the definability of the nonstationary ideal
di: Hoffelner, Stefan, et al.
Pubblicazione: (2023)

Unavoidable structures in infinite tournaments
di: Benford, Alistair, et al.
Pubblicazione: (2023)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

Generically Computable Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

sp-Homogeneous Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

On the Constructive Theory of Jordan Curves
di: Bridges, Douglas S.
Pubblicazione: (2025)

Improving Cauchy's Theorem in Constructive Analysis
di: Bridges, Douglas S.
Pubblicazione: (2024)

Feasible constructivism
di: Gorbow, Paul, et al.
Pubblicazione: (2026)

Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
di: Mutlu, Dicle, et al.
Pubblicazione: (2025)

Nonembeddings of Combinatory Algebras
di: Lutz, Patrick, et al.
Pubblicazione: (2026)

Logical Characterizations of Weighted Complexity Classes
di: Badia, Guillermo, et al.
Pubblicazione: (2024)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
di: Vašíček, Ondřej, et al.
Pubblicazione: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Provability Models
di: Mojtahedi, Mojtaba, et al.
Pubblicazione: (2025)