Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.10279 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Definable coordinate geometries over fields, part 2: applications
by: Madarász, Judit, et al.
Published: (2025)
by: Madarász, Judit, et al.
Published: (2025)
On Andréka's Conjecture that special relativity is the only possible conceptual reduct of classical kinematics
by: Madarász, Judit, et al.
Published: (2025)
by: Madarász, Judit, et al.
Published: (2025)
On variable non-dependence of first-order formulas
by: Lefever, Koen, et al.
Published: (2025)
by: Lefever, Koen, et al.
Published: (2025)
Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)
by: Andréka, H., et al.
Published: (2022)
Definable groups and fields in t-minimal theories
by: Johnson, Will
Published: (2026)
by: Johnson, Will
Published: (2026)
Definable Galois theory for bimeromorphic geometry
by: Moosa, Rahim, et al.
Published: (2025)
by: Moosa, Rahim, et al.
Published: (2025)
Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)
by: Kestner, Charlotte, et al.
Published: (2024)
Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)
by: Enayat, Ali
Published: (2026)
Models of Abelian varieties over valued fields, using model theory
by: Halevi, Yatir
Published: (2023)
by: Halevi, Yatir
Published: (2023)
On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)
by: Ben-Neria, Omer, et al.
Published: (2023)
Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)
by: Nguyen, Dong Quan Ngoc
Published: (2024)
Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)
by: Asgharzadeh, Mohsen, et al.
Published: (2023)
Existential Definability over the Subword Ordering
by: Baumann, Pascal, et al.
Published: (2022)
by: Baumann, Pascal, et al.
Published: (2022)
On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Defining implication relation for classical logic
by: Fu, Li
Published: (2013)
by: Fu, Li
Published: (2013)
Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)
by: Kamiński, Łukasz
Published: (2025)
Definability in affine continuous logic
by: Bagheri, Seyed-Mohammad
Published: (2024)
by: Bagheri, Seyed-Mohammad
Published: (2024)
Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)
by: Carl, Merlin
Published: (2013)
Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)
by: Lindell, Steven, et al.
Published: (2025)
Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)
by: Chopoghloo, Somayeh, et al.
Published: (2024)
Definable Coherent Ultrapowers and Elementary Extensions
by: Boney, Will
Published: (2016)
by: Boney, Will
Published: (2016)
Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)
by: Gehret, Allen, et al.
Published: (2025)
The model theory of perfectoid fields [after Jahnke and Kartas]
by: Anscombe, Sylvy
Published: (2026)
by: Anscombe, Sylvy
Published: (2026)
Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)
by: Springer, Caleb
Published: (2022)
Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)
by: Bejarano, Diego
Published: (2024)
Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)
by: Glazer, Elliot
Published: (2023)
Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)
by: van Benthem, Johan
Published: (2026)
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)
by: Lyon, Tim S., et al.
Published: (2024)
Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)
by: Buffière, Hector, et al.
Published: (2025)
Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)
by: Brown, L. C.
Published: (2025)
Nash maps over large fields
by: Walsberg, Erik
Published: (2025)
by: Walsberg, Erik
Published: (2025)
Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)
by: Bodirsky, Manuel, et al.
Published: (2022)
Analytic Nullstellensätze and the model theory of valued fields
by: Aschenbrenner, Matthias, et al.
Published: (2022)
by: Aschenbrenner, Matthias, et al.
Published: (2022)
Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)
by: Toledo, Guilherme V., et al.
Published: (2026)
Choiceless Computation and Symmetry: Limitations of Definability
by: Pago, Benedikt
Published: (2024)
by: Pago, Benedikt
Published: (2024)
There is no Definable Grauert Direct Image Theorem
by: Esnault, Hélène, et al.
Published: (2026)
by: Esnault, Hélène, et al.
Published: (2026)
Full Definability in a Profunctorial Model
by: Tsukada, Takeshi, et al.
Published: (2026)
by: Tsukada, Takeshi, et al.
Published: (2026)
Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)
by: Chong, Chi Tat, et al.
Published: (2025)
Definability of some $k$-ary Relations Over Second Order kinds of Logics
by: Costa, Simone, et al.
Published: (2025)
by: Costa, Simone, et al.
Published: (2025)