On the model-completion of scaled lattices and the co-Heyting algebras of closed p-adic semi-algebraic sets - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

On the model-completion of scaled lattices and the co-Heyting algebras of closed p-adic semi-algebraic sets

Résumé

Let p be prime number, K be a p-adically closed field, X ⊆ K m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the quantifiers in a certain language LASC, the LASC-structure on L(X) being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field. We classify these LASC-structures up to elementary equivalence, and get in particular that the complete theory of L(K m) only depends on m, not on K nor even on p. As an application we obtain a classification of semi-algebraic sets over countable p-adically closed fields up to so-called " pre-algebraic " homeomorphisms.
Fichier principal
Vignette du fichier
darniere.scaled-p-adic.pdf (474.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01756160 , version 1 (31-03-2018)
hal-01756160 , version 2 (11-09-2018)
hal-01756160 , version 3 (28-10-2018)

Identifiants

Citer

Luck Darnière. On the model-completion of scaled lattices and the co-Heyting algebras of closed p-adic semi-algebraic sets. 2018. ⟨hal-01756160v2⟩
90 Consultations
159 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More