:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Frank, Matthew
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science 03C10 (Primary), 03C60, 14P10, 14Q20 (Secondary)
Online Access:	https://arxiv.org/abs/2511.20743
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Of model completeness and algebraic groups
by: Hoffmann, Daniel Max, et al.
Published: (2023)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

$K$-holomorphic functions with definable real part
by: Carbone, Antonio, et al.
Published: (2026)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (2025)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

Model theory of difference fields with an additive character on the fixed field
by: Ludwig, Stefan Marian
Published: (2025)

PAC structures as invariants of finite group actions
by: Hoffmann, Daniel Max, et al.
Published: (2023)

An Approximate AKE Principle for Metric Valued Fields
by: Hils, Martin, et al.
Published: (2022)

Improved effective Łojasiewicz inequality and applications
by: Basu, Saugata, et al.
Published: (2022)

Elekes-Szabó for collinearity on cubic surfaces
by: Bays, Martin, et al.
Published: (2022)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

A geometric approach to some systems of exponential equations
by: Aslanyan, Vahagn, et al.
Published: (2021)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

A dichotomy for $T$-convex fields with a monomial group
by: Kaplan, Elliot, et al.
Published: (2023)

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Exponential Fields: Lack of Generic Derivations
by: Antongiulio, Fornasiero, et al.
Published: (2024)

Perfectoid fields in the language of rings
by: Jahnke, Franziska, et al.
Published: (2026)

The domination monoid in henselian valued fields
by: Hils, Martin, et al.
Published: (2021)

Tropical functions on a skeleton
by: Ducros, Antoine, et al.
Published: (2022)

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

Lang-Weil Type Estimates in Finite Difference Fields
by: Hils, Martin, et al.
Published: (2024)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Ellis enveloping semigroups in real closed fields
by: Baro, Elías, et al.
Published: (2023)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

The class of Krasner hyperfields is not elementary
by: Błaszkiewicz, Piotr, et al.
Published: (2024)

Elimination by Substitution
by: Kreuzer, Martin, et al.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Reconstructing Abelian Varieties via Model Theory
by: Castle, Benjamin, et al.
Published: (2025)

Generic derivations on o-minimal structures
by: Fornasiero, Antongiulio, et al.
Published: (2019)