Saved in:
| Main Authors: | Baldwin, John, Nagloo, Joel |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.11432 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)
by: Venturi, Giorgio, et al.
Published: (2022)
Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)
by: Honzik, Radek
Published: (2026)
Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)
by: Farah, I., et al.
Published: (2025)
Deconstructible abstract elementary classes of modules and categoricity
by: Šaroch, Jan, et al.
Published: (2023)
by: Šaroch, Jan, et al.
Published: (2023)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)
by: Chernikov, Artem, et al.
Published: (2026)
Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)
by: Lynch, Peter, et al.
Published: (2023)
The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)
by: Sun, Mengzhou
Published: (2025)
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)
On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)
by: Uftring, Patrick
Published: (2023)
Flatness and Nonforking without the Continuum Hypothesis
by: Majozi, Philani Rodney
Published: (2025)
by: Majozi, Philani Rodney
Published: (2025)
A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)
by: Shelah, Saharon
Published: (2014)
The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
by: Tall, Franklin D., et al.
Published: (2024)
by: Tall, Franklin D., et al.
Published: (2024)
Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)
by: Baldwin, John T., et al.
Published: (2026)
Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)
by: Baldwin, John T., et al.
Published: (2026)
On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)
by: Saarinen, Tapio, et al.
Published: (2024)
A metric lifting theorem
by: De Bondt, Ben, et al.
Published: (2024)
by: De Bondt, Ben, et al.
Published: (2024)
Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)
by: Ye, Lingyuan
Published: (2023)
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)
$\leq_{SP}$ Can Have Infinitely Many Classes
by: Shelah, Saharon, et al.
Published: (2018)
by: Shelah, Saharon, et al.
Published: (2018)
Cohen Generic Structures with Functions
by: Ackerman, Nathanael, et al.
Published: (2023)
by: Ackerman, Nathanael, et al.
Published: (2023)
Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)
by: Cheng, Yong
Published: (2014)
A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)
by: Usuba, Toshimichi
Published: (2023)
A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)
by: Zhu, Hongyu
Published: (2026)
On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)
by: Jeon, Hanul
Published: (2024)
Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)
by: Yao, Bokai
Published: (2025)
Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)
by: Jubin, Benoit
Published: (2022)
Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)
by: Kolman, Oren, et al.
Published: (1996)
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)
by: Müller, Sandra, et al.
Published: (2025)
Whitehead's problem and condensed mathematics
by: Bergfalk, Jeffrey, et al.
Published: (2023)
by: Bergfalk, Jeffrey, et al.
Published: (2023)
Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)
by: Yao, Bokai
Published: (2025)
Monotonicity of the ultrafilter number function
by: Usuba, Toshimichi
Published: (2025)
by: Usuba, Toshimichi
Published: (2025)
On Namba Forcing and Minimal Collapses
by: Levine, Maxwell
Published: (2024)
by: Levine, Maxwell
Published: (2024)
Topology and category for singular product spaces
by: Hayashi, Yusuke, et al.
Published: (2026)
by: Hayashi, Yusuke, et al.
Published: (2026)
Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
The construction principle and non homogeneity of uncountable relatively free groups
by: Carolillo, Davide, et al.
Published: (2023)
by: Carolillo, Davide, et al.
Published: (2023)
A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)
by: Chen, Ruiyuan
Published: (2019)
Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)
by: Alsulami, Tumadhir, et al.
Published: (2024)
Of model completeness and algebraic groups
by: Hoffmann, Daniel Max, et al.
Published: (2023)
by: Hoffmann, Daniel Max, et al.
Published: (2023)
Nondefinability results for elliptic and modular functions
by: McCulloch, Raymond
Published: (2023)
by: McCulloch, Raymond
Published: (2023)
Similar Items
-
What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022) -
Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026) -
Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025) -
Deconstructible abstract elementary classes of modules and categoricity
by: Šaroch, Jan, et al.
Published: (2023) -
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)