Model-completion of scaled lattices

Luck Darnière

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\ge 2$. More gen…