The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
Fuente:
arXiv
Salvato in:
| Autore principale: | Schmerl, James H. |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2019
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Tightness and solidity in fragments of Peano Arithmetic
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
di: Schmerl, James
Pubblicazione: (2026)
di: Schmerl, James
Pubblicazione: (2026)
The Lattice Problem for Models of $\mathsf{PA}$
di: Abdul-Quader, Athar, et al.
Pubblicazione: (2024)
di: Abdul-Quader, Athar, et al.
Pubblicazione: (2024)
Finite Combinatorics and Fragments of Arithmetic
di: Wang, Wei
Pubblicazione: (2025)
di: Wang, Wei
Pubblicazione: (2025)
Classifying the complexity of models of arithmetic
di: Gonzalez, David, et al.
Pubblicazione: (2025)
di: Gonzalez, David, et al.
Pubblicazione: (2025)
Pathologies in satisfaction classes
di: Abdul-Quader, Athar, et al.
Pubblicazione: (2023)
di: Abdul-Quader, Athar, et al.
Pubblicazione: (2023)
On models of affine arithmetic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2025)
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2025)
Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2025)
di: Liu, Yong, et al.
Pubblicazione: (2025)
Saturation properties for compositional truth with propositional correctness
di: Wcisło, Bartosz
Pubblicazione: (2024)
di: Wcisło, Bartosz
Pubblicazione: (2024)
Isolated d.c.e. degrees and $Σ_1$ induction
di: Liu, Yiqun, et al.
Pubblicazione: (2025)
di: Liu, Yiqun, et al.
Pubblicazione: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)
di: Liu, Yong, et al.
Pubblicazione: (2026)
Every Polish group has a non-trivial topological group automorphism
di: Estrada, Carlos Pérez, et al.
Pubblicazione: (2024)
di: Estrada, Carlos Pérez, et al.
Pubblicazione: (2024)
Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
di: Shani, Assaf
Pubblicazione: (2024)
di: Shani, Assaf
Pubblicazione: (2024)
Truth and collection
di: Wcisło, Bartosz
Pubblicazione: (2024)
di: Wcisło, Bartosz
Pubblicazione: (2024)
Classical determinate truth without induction
di: Wcisło, Bartosz
Pubblicazione: (2024)
di: Wcisło, Bartosz
Pubblicazione: (2024)
Forcing with random variables in bounded arithmetics and set theory
di: Honzik, Radek
Pubblicazione: (2026)
di: Honzik, Radek
Pubblicazione: (2026)
Topological dynamics and the complexity of strong types
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2015)
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2015)
Generalized Schatunowsky theorem in a weak arithmetic
di: King, Hala, et al.
Pubblicazione: (2025)
di: King, Hala, et al.
Pubblicazione: (2025)
Generalized Descriptive Set Theory and Classification Theory
di: Friedman, Sy-David, et al.
Pubblicazione: (2012)
di: Friedman, Sy-David, et al.
Pubblicazione: (2012)
Special classes of functions
di: Freitag, James, et al.
Pubblicazione: (2026)
di: Freitag, James, et al.
Pubblicazione: (2026)
The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
di: Sun, Mengzhou
Pubblicazione: (2024)
di: Sun, Mengzhou
Pubblicazione: (2024)
Extending orders to types
di: Baglini, Lorenzo Luperi, et al.
Pubblicazione: (2025)
di: Baglini, Lorenzo Luperi, et al.
Pubblicazione: (2025)
A complete classification of the zero-dimensional homogeneous spaces under determinacy
di: Medini, Andrea
Pubblicazione: (2023)
di: Medini, Andrea
Pubblicazione: (2023)
Ranked Forcing and the Length of Generalized Borel Hierarchies
di: Chapman, Nick
Pubblicazione: (2026)
di: Chapman, Nick
Pubblicazione: (2026)
$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
di: Solecki, Sławomir
Pubblicazione: (2024)
di: Solecki, Sławomir
Pubblicazione: (2024)
The descriptive complexity of the set of arc-connected compact subsets of the plane
di: Debs, Gabriel, et al.
Pubblicazione: (2026)
di: Debs, Gabriel, et al.
Pubblicazione: (2026)
Every finite-dimensional analytic space is $σ$-homogeneous
di: Agostini, Claudio, et al.
Pubblicazione: (2024)
di: Agostini, Claudio, et al.
Pubblicazione: (2024)
Weak, strong and mixed extensions of relations to spaces of ultrafilters
di: Gasparro, Leonardo Raffaello Maximilian, et al.
Pubblicazione: (2025)
di: Gasparro, Leonardo Raffaello Maximilian, et al.
Pubblicazione: (2025)
Realizations of countable Borel equivalence relations
di: Frisch, Joshua, et al.
Pubblicazione: (2021)
di: Frisch, Joshua, et al.
Pubblicazione: (2021)
Classification Strength of Polish Groups: Involving $S_\infty$
di: Allison, Shaun
Pubblicazione: (2023)
di: Allison, Shaun
Pubblicazione: (2023)
The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
di: Shani, Assaf
Pubblicazione: (2024)
di: Shani, Assaf
Pubblicazione: (2024)
Borel complexity of families of finite equivalence relations via large cardinals
di: Laskowski, Michael C., et al.
Pubblicazione: (2024)
di: Laskowski, Michael C., et al.
Pubblicazione: (2024)
Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
di: Banerjee, Rishi, et al.
Pubblicazione: (2024)
di: Banerjee, Rishi, et al.
Pubblicazione: (2024)
Projective curves and weak second-order logic
di: Berarducci, Alessandro, et al.
Pubblicazione: (2025)
di: Berarducci, Alessandro, et al.
Pubblicazione: (2025)
Invariant uniformization
di: Kechris, Alexander S., et al.
Pubblicazione: (2024)
di: Kechris, Alexander S., et al.
Pubblicazione: (2024)
Schmidt's Game and Vitali Sets
di: Atchley, James, et al.
Pubblicazione: (2026)
di: Atchley, James, et al.
Pubblicazione: (2026)
Carryless Pairing: Additive Pairing in the Fibonacci Basis
di: Rosko, Milan
Pubblicazione: (2025)
di: Rosko, Milan
Pubblicazione: (2025)
Models of an Abstract Elementary Class as a Generalized Polish Space
di: Marangelis, Georgios
Pubblicazione: (2025)
di: Marangelis, Georgios
Pubblicazione: (2025)
The set of distances in a Polish metric space
di: Clemens, John D.
Pubblicazione: (2025)
di: Clemens, John D.
Pubblicazione: (2025)
AC and the Independence of WO in Second-Order Henkin Logic, Part I
di: Gaßner, Christine
Pubblicazione: (2024)
di: Gaßner, Christine
Pubblicazione: (2024)
Documenti analoghi
-
Tightness and solidity in fragments of Peano Arithmetic
di: Gruza, Piotr, et al.
Pubblicazione: (2025) -
Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
di: Schmerl, James
Pubblicazione: (2026) -
The Lattice Problem for Models of $\mathsf{PA}$
di: Abdul-Quader, Athar, et al.
Pubblicazione: (2024) -
Finite Combinatorics and Fragments of Arithmetic
di: Wang, Wei
Pubblicazione: (2025) -
Classifying the complexity of models of arithmetic
di: Gonzalez, David, et al.
Pubblicazione: (2025)