Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2503.00440 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)
by: Dobrowolski, Jan, et al.
Published: (2022)
Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)
by: Alouf, Eran, et al.
Published: (2024)
Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)
by: Wells, Harper
Published: (2026)
Forking and invariant types in regular ordered Abelian groups
by: Hossain, Akash
Published: (2023)
by: Hossain, Akash
Published: (2023)
Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)
by: Okura, Koki
Published: (2026)
Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
by: Piepenborn, Ricardo Palomino
Published: (2025)
by: Piepenborn, Ricardo Palomino
Published: (2025)
Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)
by: Estrada, Felipe, et al.
Published: (2025)
Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)
by: Galatos, Nikolaos, et al.
Published: (2025)
Definability of band structures on posets
by: Kuperman, Joel, et al.
Published: (2024)
by: Kuperman, Joel, et al.
Published: (2024)
Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
Growing Spines: Ad Infinitum et Ad Infinitesimalia
by: Boissonneau, Blaise, et al.
Published: (2025)
by: Boissonneau, Blaise, et al.
Published: (2025)
A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)
by: Reyes, David, et al.
Published: (2021)
Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)
by: Boissonneau, Blaise, et al.
Published: (2025)
Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)
by: Fussner, Wesley, et al.
Published: (2024)
On the first-order theories of quaternions and octonions
by: Savi, Enrico
Published: (2024)
by: Savi, Enrico
Published: (2024)
Truncations in languages of generalized power series and the structure of $T$-$λ$-spherical completions of o-minimal fields
by: Freni, Pietro
Published: (2024)
by: Freni, Pietro
Published: (2024)
Asymptotic Differential Algebra and Model Theory of Transseries
by: Aschenbrenner, Matthias, et al.
Published: (2015)
by: Aschenbrenner, Matthias, et al.
Published: (2015)
On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)
by: Paseka, Jan, et al.
Published: (2026)
The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
On Nondefinability of Interior-Connectedness via the Contact Relation
by: Gruszczyński, Rafał, et al.
Published: (2025)
by: Gruszczyński, Rafał, et al.
Published: (2025)
Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)
by: Botur, Michal, et al.
Published: (2026)
Soluble Lie rings of finite Morley rank
by: Deloro, Adrien, et al.
Published: (2024)
by: Deloro, Adrien, et al.
Published: (2024)
Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)
by: Nation, J. B., et al.
Published: (2023)
Generating ideals by additive subgroups of rings
by: Krupiński, Krzysztof, et al.
Published: (2020)
by: Krupiński, Krzysztof, et al.
Published: (2020)
On p-Lie algebras of finite Morley rank
by: Zamour, Samuel
Published: (2026)
by: Zamour, Samuel
Published: (2026)
Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
by: d'Elbée, Christian
Published: (2024)
by: d'Elbée, Christian
Published: (2024)
Closed bounded sets in 1-h-minimal valued fields
by: López, Juan Pablo Acosta
Published: (2024)
by: López, Juan Pablo Acosta
Published: (2024)
Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)
Implicit operations in varieties of commutative monoids
by: Carai, Luca, et al.
Published: (2026)
by: Carai, Luca, et al.
Published: (2026)
On countable isotypic structures
by: Gvozdevsky, Pavel
Published: (2023)
by: Gvozdevsky, Pavel
Published: (2023)
Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)
by: Piepenborn, Ricardo Palomino
Published: (2024)
Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)
by: Freund, Anton
Published: (2021)
Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)
by: Buriola, Gabriele, et al.
Published: (2025)
The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
On the structure and theory of McCarthy algebras
by: Bonzio, Stefano, et al.
Published: (2025)
by: Bonzio, Stefano, et al.
Published: (2025)
On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)
by: Kunik, Matthias
Published: (2026)
On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)
by: Kunik, Matthias
Published: (2024)
There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence
by: Fujita, Masato
Published: (2024)
by: Fujita, Masato
Published: (2024)