Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1910.05284 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)
by: Gruza, Piotr, et al.
Published: (2025)
Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)
by: Schmerl, James
Published: (2026)
The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)
by: Abdul-Quader, Athar, et al.
Published: (2024)
Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)
by: Wang, Wei
Published: (2025)
Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)
by: Gonzalez, David, et al.
Published: (2025)
Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)
by: Abdul-Quader, Athar, et al.
Published: (2023)
On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)
by: Bagheri, Seyed-Mohammad
Published: (2025)
Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)
by: Liu, Yong, et al.
Published: (2025)
Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
Published: (2024)
Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)
by: Liu, Yiqun, et al.
Published: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
Every Polish group has a non-trivial topological group automorphism
by: Estrada, Carlos Pérez, et al.
Published: (2024)
by: Estrada, Carlos Pérez, et al.
Published: (2024)
Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
by: Shani, Assaf
Published: (2024)
by: Shani, Assaf
Published: (2024)
Truth and collection
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
Published: (2024)
Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)
by: Wcisło, Bartosz
Published: (2024)
Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)
by: Honzik, Radek
Published: (2026)
Generalized Schatunowsky theorem in a weak arithmetic
by: King, Hala, et al.
Published: (2025)
by: King, Hala, et al.
Published: (2025)
Topological dynamics and the complexity of strong types
by: Krupiński, Krzysztof, et al.
Published: (2015)
by: Krupiński, Krzysztof, et al.
Published: (2015)
Special classes of functions
by: Freitag, James, et al.
Published: (2026)
by: Freitag, James, et al.
Published: (2026)
Generalized Descriptive Set Theory and Classification Theory
by: Friedman, Sy-David, et al.
Published: (2012)
by: Friedman, Sy-David, et al.
Published: (2012)
The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)
by: Sun, Mengzhou
Published: (2024)
Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)
A complete classification of the zero-dimensional homogeneous spaces under determinacy
by: Medini, Andrea
Published: (2023)
by: Medini, Andrea
Published: (2023)
Ranked Forcing and the Length of Generalized Borel Hierarchies
by: Chapman, Nick
Published: (2026)
by: Chapman, Nick
Published: (2026)
Classification Strength of Polish Groups: Involving $S_\infty$
by: Allison, Shaun
Published: (2023)
by: Allison, Shaun
Published: (2023)
$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
by: Solecki, Sławomir
Published: (2024)
by: Solecki, Sławomir
Published: (2024)
The descriptive complexity of the set of arc-connected compact subsets of the plane
by: Debs, Gabriel, et al.
Published: (2026)
by: Debs, Gabriel, et al.
Published: (2026)
Every finite-dimensional analytic space is $σ$-homogeneous
by: Agostini, Claudio, et al.
Published: (2024)
by: Agostini, Claudio, et al.
Published: (2024)
Weak, strong and mixed extensions of relations to spaces of ultrafilters
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)
Realizations of countable Borel equivalence relations
by: Frisch, Joshua, et al.
Published: (2021)
by: Frisch, Joshua, et al.
Published: (2021)
The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
by: Shani, Assaf
Published: (2024)
by: Shani, Assaf
Published: (2024)
Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)
by: Berarducci, Alessandro, et al.
Published: (2025)
Models of an Abstract Elementary Class as a Generalized Polish Space
by: Marangelis, Georgios
Published: (2025)
by: Marangelis, Georgios
Published: (2025)
Invariant uniformization
by: Kechris, Alexander S., et al.
Published: (2024)
by: Kechris, Alexander S., et al.
Published: (2024)
Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)
by: Roberts, David Michael
Published: (2021)
Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)
by: Pollett, Chris
Published: (2025)
Borel complexity of families of finite equivalence relations via large cardinals
by: Laskowski, Michael C., et al.
Published: (2024)
by: Laskowski, Michael C., et al.
Published: (2024)
Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)
by: Banerjee, Rishi, et al.
Published: (2024)
Integration on the Surreals
by: Costin, Ovidiu, et al.
Published: (2022)
by: Costin, Ovidiu, et al.
Published: (2022)