:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Madarász, Judit, Stannett, Mike, Székely, Gergely
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2507.10289
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Definable coordinate geometries over fields, part 1: theory
di: Madarász, Judit, et al.
Pubblicazione: (2025)

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

On variable non-dependence of first-order formulas
di: Lefever, Koen, et al.
Pubblicazione: (2025)

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

Definable groups and fields in t-minimal theories
di: Johnson, Will
Pubblicazione: (2026)

TRAC: a tool for data-aware coordination (with an application to smart contracts)
di: Afonso, Joao, et al.
Pubblicazione: (2024)

Naturality and Definability III
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2023)

Definable Galois theory for bimeromorphic geometry
di: Moosa, Rahim, et al.
Pubblicazione: (2025)

Existential Definability over the Subword Ordering
di: Baumann, Pascal, et al.
Pubblicazione: (2022)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Definability in affine continuous logic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Models of true arithmetic are integer parts of nice real closed fields
di: Carl, Merlin
Pubblicazione: (2013)

Hanf Locality and Invariant Elementary Definability
di: Lindell, Steven, et al.
Pubblicazione: (2025)

Dynamic Probability Logics: Axiomatization & Definability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Definable Coherent Ultrapowers and Elementary Extensions
di: Boney, Will
Pubblicazione: (2016)

Definability over $\mathrm BΣ^0_2$-models
di: Chong, Chi Tat, et al.
Pubblicazione: (2025)

Definability and decidability for rings of integers in totally imaginary fields
di: Springer, Caleb
Pubblicazione: (2022)

On $Σ_1$-Definable Closed Unbounded Sets
di: Ben-Neria, Omer, et al.
Pubblicazione: (2023)

Definability and Scott rank in separable Metric structures
di: Bejarano, Diego
Pubblicazione: (2024)

Definability and Interpolation in Philosophy
di: van Benthem, Johan
Pubblicazione: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Decomposing graphs into stable and ordered parts
di: Buffière, Hector, et al.
Pubblicazione: (2025)

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

Nash maps over large fields
di: Walsberg, Erik
Pubblicazione: (2025)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
di: Bodirsky, Manuel, et al.
Pubblicazione: (2022)

Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
di: Pago, Benedikt
Pubblicazione: (2024)

There is no Definable Grauert Direct Image Theorem
di: Esnault, Hélène, et al.
Pubblicazione: (2026)

Full Definability in a Profunctorial Model
di: Tsukada, Takeshi, et al.
Pubblicazione: (2026)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
di: Costa, Simone, et al.
Pubblicazione: (2025)

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

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
di: Bowler, Nathan, et al.
Pubblicazione: (2025)

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

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

Strong Negation is Definable in 2Int
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2025)

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

Models of Abelian varieties over valued fields, using model theory
di: Halevi, Yatir
Pubblicazione: (2023)