:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hils, Martin, Liccardo, Martina, Touchard, Pierre
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2308.09989
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
par: Boissonneau, Blaise, et autres
Publié: (2024)

VC-Density in Divisible Oriented Abelian Groups and Their Pairs
par: Nayir, Ebru, et autres
Publié: (2026)

Generalised Indiscernibles, Dividing Lines, and Products of Structures
par: Meir, Nadav, et autres
Publié: (2023)

Strongly Dependent Ordered Abelian Groups and Henselian Fields
par: Halevi, Yatir, et autres
Publié: (2017)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
par: Stokes-Waters, John
Publié: (2026)

Distality in Ordered Abelian Groups
par: Okura, Koki
Publié: (2026)

Definable Functions to Quotients in Ordered Abelian Groups
par: Wells, Harper
Publié: (2026)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
par: Acosta, Juan Pablo, et autres
Publié: (2021)

Linear theories of global fields with absolute values
par: Fehm, Arno, et autres
Publié: (2026)

Some definable types that cannot be amalgamated
par: Hils, Martin, et autres
Publié: (2022)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
par: Piepenborn, Ricardo Palomino
Publié: (2025)

An Approximate AKE Principle for Metric Valued Fields
par: Hils, Martin, et autres
Publié: (2022)

Subvarieties of pointed Abelian l-groups
par: Jankovec, Filip
Publié: (2025)

VC-Density in Pairs of Ordered Vector Space
par: Günaydın, Ayhan, et autres
Publié: (2024)

The domination monoid in henselian valued fields
par: Hils, Martin, et autres
Publié: (2021)

Coordinate recognition: General theory, Groups, and other surprises
par: Farah, I., et autres
Publié: (2025)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Continuous Edge Chromatic Numbers of Abelian Group Actions
par: Gao, Su, et autres
Publié: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

sp-Homogeneous Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2025)

Generically Computable Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2024)

Characterizing Finitely Based Abelian Mal'cev Algebras
par: Muro, Mateo
Publié: (2024)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
par: Boissonneau, Blaise, et autres
Publié: (2025)

The Ideal Membership Problem and Abelian Groups
par: Bulatov, Andrei A., et autres
Publié: (2022)

Scott Spectral Gaps are Bounded for Linear Orderings
par: Gonzalez, David, et autres
Publié: (2024)

Term Ordering Diagrams
par: Hajdu, Márton, et autres
Publié: (2025)

Beautiful pairs
par: Kovacsics, Pablo Cubides, et autres
Publié: (2021)

Isomorphic Subtypes in a Finite Generalized Ordered Type
par: Joseph, Jean S.
Publié: (2025)

Growing Spines Ad Infinitum
par: Boissonneau, Blaise, et autres
Publié: (2025)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
par: Ashale, Tekalign Regasa, et autres
Publié: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

An $\ell^2$ Obstruction for Elementary Embeddings of Hyperbolic Groups
par: MacMahon, Connor
Publié: (2026)

Bifurcation Logic: Separation Through Ordering
par: Galmiche, Didier, et autres
Publié: (2025)

Lang-Weil Type Estimates in Finite Difference Fields
par: Hils, Martin, et autres
Publié: (2024)

Borel Combinatorics of Abelian Group Actions
par: Gao, Su, et autres
Publié: (2024)

On Some Systems of Equations in Abelian Varieties
par: Gallinaro, Francesco
Publié: (2022)

Scott Complexity of Reduced Abelian $p$-Groups
par: Alvir, Rachael, et autres
Publié: (2024)

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

Translating Workflow Nets into the Partially Ordered Workflow Language
par: Kourani, Humam, et autres
Publié: (2025)