Image de couverture de livre

Definable coordinate geometries over fields, part 2: applications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Madarász, Judit, Stannett, Mike, Székely, Gergely
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Definable coordinate geometries over fields, part 1: theory
par: Madarász, Judit, et autres
Publié: (2025)

On Andréka's Conjecture that special relativity is the only possible conceptual reduct of classical kinematics
par: Madarász, Judit, et autres
Publié: (2025)

On variable non-dependence of first-order formulas
par: Lefever, Koen, et autres
Publié: (2025)

Testing definitional equivalence of theories via automorphism groups
par: Andréka, H., et autres
Publié: (2022)

Definable groups and fields in t-minimal theories
par: Johnson, Will
Publié: (2026)

TRAC: a tool for data-aware coordination (with an application to smart contracts)
par: Afonso, Joao, et autres
Publié: (2024)

Naturality and Definability III
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)

Definable sets in Skolem arithmetic
par: Kamiński, Łukasz
Publié: (2025)

Definability in affine continuous logic
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Hanf Locality and Invariant Elementary Definability
par: Lindell, Steven, et autres
Publié: (2025)

Dynamic Probability Logics: Axiomatization & Definability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Definable Coherent Ultrapowers and Elementary Extensions
par: Boney, Will
Publié: (2016)

Models of true arithmetic are integer parts of nice real closed fields
par: Carl, Merlin
Publié: (2013)

Existential Definability over the Subword Ordering
par: Baumann, Pascal, et autres
Publié: (2022)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

On $Σ_1$-Definable Closed Unbounded Sets
par: Ben-Neria, Omer, et autres
Publié: (2023)

Definability and Scott rank in separable Metric structures
par: Bejarano, Diego
Publié: (2024)

Definable Galois theory for bimeromorphic geometry
par: Moosa, Rahim, et autres
Publié: (2025)

Definability over $\mathrm BΣ^0_2$-models
par: Chong, Chi Tat, et autres
Publié: (2025)

Definability and decidability for rings of integers in totally imaginary fields
par: Springer, Caleb
Publié: (2022)

Definability and Interpolation in Philosophy
par: van Benthem, Johan
Publié: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
par: Brown, L. C.
Publié: (2025)

Nash maps over large fields
par: Walsberg, Erik
Publié: (2025)

Some model theory of quadratic geometries
par: Kestner, Charlotte, et autres
Publié: (2024)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
par: Bodirsky, Manuel, et autres
Publié: (2022)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
par: Costa, Simone, et autres
Publié: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
par: Takahashi, Tenyo
Publié: (2025)

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
par: Wang, Xiaoduo
Publié: (2025)

Choiceless Computation and Symmetry: Limitations of Definability
par: Pago, Benedikt
Publié: (2024)

There is no Definable Grauert Direct Image Theorem
par: Esnault, Hélène, et autres
Publié: (2026)

Full Definability in a Profunctorial Model
par: Tsukada, Takeshi, et autres
Publié: (2026)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
par: Bowler, Nathan, et autres
Publié: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
par: Nguyen, Dong Quan Ngoc
Publié: (2024)

Models of Abelian varieties over valued fields, using model theory
par: Halevi, Yatir
Publié: (2023)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
par: Ivanova, Tatyana, et autres
Publié: (2021)