A Complete Bounded Theory with Unbounded Types
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)
by: Farah, I., et al.
Published: (2025)
The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Large cardinals, structural reflection, and the HOD Conjecture
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
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)
The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)
by: Ivanov, Aleksander
Published: (2026)
Isomorphism of almost locally compact Polish metric structures
by: Malicki, Maciej
Published: (2025)
by: Malicki, Maciej
Published: (2025)
The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)
by: Givant, Steven, et al.
Published: (2018)
On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)
by: Adam-Day, Bea, et al.
Published: (2019)
Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)
by: Gonzalez, David, et al.
Published: (2025)
On Borel subsets of generalized Baire spaces
by: Hyttinen, Tapani, et al.
Published: (2025)
by: Hyttinen, Tapani, et al.
Published: (2025)
Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)
by: Honzik, Radek
Published: (2026)
Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)
by: Gonzalez, David, et al.
Published: (2023)
Big Ramsey Degrees and Infinite Languages
by: Braunfeld, Samuel, et al.
Published: (2023)
by: Braunfeld, Samuel, et al.
Published: (2023)
Transasymptotic expansions of o-minimal germs
by: Rolin, Jean-Philippe, et al.
Published: (2024)
by: Rolin, Jean-Philippe, et al.
Published: (2024)
A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)
by: Salehi, Saeed
Published: (2025)
Topological weak containment
by: Thornton, Riley
Published: (2025)
by: Thornton, Riley
Published: (2025)
The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)
by: Barbina, Silvia, et al.
Published: (2024)
Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)
by: Alsulami, Tumadhir, et al.
Published: (2024)
More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)
by: Poliakov, Nikolai L., et al.
Published: (2026)
Transitive Extensions of Automorphism Groups of Generic Structures
by: Estrada, Felipe
Published: (2026)
by: Estrada, Felipe
Published: (2026)
No universal group in a cardinal
by: Shelah, Saharon
Published: (2013)
by: Shelah, Saharon
Published: (2013)
Pseudofiniteness of the Farey Graph
by: Lockhart, Connor Martinez
Published: (2026)
by: Lockhart, Connor Martinez
Published: (2026)
On dp-minimal expansions of the integers II
by: Alouf, Eran
Published: (2024)
by: Alouf, Eran
Published: (2024)
What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)
by: Venturi, Giorgio, et al.
Published: (2022)
Big Ramsey degrees and the two-branching pseudotree
by: Chodounský, David, et al.
Published: (2025)
by: Chodounský, David, et al.
Published: (2025)
A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)
by: Jalili, Somaye, et al.
Published: (2020)
Scott Complexity of Reduced Abelian $p$-Groups
by: Alvir, Rachael, et al.
Published: (2024)
by: Alvir, Rachael, et al.
Published: (2024)
Categoricity and non-arithmetic Fuchsian groups
by: Baldwin, John, et al.
Published: (2026)
by: Baldwin, John, et al.
Published: (2026)
Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)
by: Aguilera, Juan Pablo, et al.
Published: (2025)
Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)
by: Yao, Ningyuan, et al.
Published: (2026)
Huge Reflection
by: Bagaria, Joan, et al.
Published: (2021)
by: Bagaria, Joan, et al.
Published: (2021)
Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)
by: Lynch, Peter, et al.
Published: (2023)
Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)
by: Estrada, Felipe, et al.
Published: (2025)
A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)
by: Shelah, Saharon
Published: (2014)
Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
by: Kostana, Ziemowit
Published: (2026)
by: Kostana, Ziemowit
Published: (2026)
Logic families
by: Andréka, H., et al.
Published: (2023)
by: Andréka, H., et al.
Published: (2023)
Nonrepresentable relation algebras from group systems
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)
by: Manthe, Sven
Published: (2024)
The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)
by: Jeon, Hanul
Published: (2024)