Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Model-completion of scaled lattices

Abstract : It is known from Grzegorczyk's paper \cite{grze-1951} that the lattice of real semi-algebraic closed subsets of ${\mathbb R}^n$ is undecidable for every integer $n\geq 2$. More generally, if $X$ is any definable set over a real or algebraically closed field $K$, then the lattice $L(X)$ of all definable subsets of $X$ closed in $X$ is undecidable whenever $\dim X\geq 2$. Nevertheless, we investigate in this paper the model theory of the class ${\rm SC_{def}}(K,d)$ of all such lattices $L(X)$ with $\dim X\leq d$ and $K$ as above or a henselian valued field of characteristic zero.

We show that the universal theory of ${\rm SC_{def}}(K,d)$, in a natural expansion by definition of the lattice language, is the same for every such field $K$. We give a finite axiomatization of it and prove that it is locally finite and admits a model-completion, which turns to be decidable as well as all its completions. We expect $L({\mathbb Q}_p^d)$ to be a model of (a little variant of) this model-completion. This leads us to a new conjecture in $p$-adic semi-algebraic geometry which, combined with the results of this paper, would give decidability (via a natural recursive axiomatization) and elimination of quantifiers for the complete theory of $L({\mathbb R}_p^d)$, uniformly in $p$.

Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Luck Darnière Connect in order to contact the contributor
Submitted on : Friday, June 30, 2006 - 1:32:13 PM
Last modification on : Wednesday, October 20, 2021 - 3:18:52 AM
Long-term archiving on: : Monday, April 5, 2010 - 11:39:25 PM





Luck Darnière. Model-completion of scaled lattices. 2006. ⟨hal-00083404⟩



Record views


Files downloads