Geodesic
Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
Vincent Astier1
1 School of Mathematical Sciences University College Dublin Belfield, Dublin 4, Ireland
Fundamenta Mathematicae, Tome 220 (2013) no. 1, pp. 7-21.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of $[0,1]^n$ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable subsets of $[0,1]^n$ definable in the same o-minimal expansion, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets, as well as related results.
DOI : 10.4064/fm220-1-2
Keywords: prove boolean algebras sets definable elementarily equivalent o minimal expansions real closed fields back and forth equivalent particular elementarily equivalent language boolean algebras predicates indicating dimension euler characteristic sets boolean algebra semilinear subsets definable o minimal expansion real closed field back and forth equivalent boolean algebra definable subsets definable o minimal expansion language boolean algebras predicates indicating dimension euler characteristic sets related results

Vincent Astier 1

1 School of Mathematical Sciences University College Dublin Belfield, Dublin 4, Ireland 
@article{10_4064_fm220_1_2,
     author = {Vincent Astier},
     title = {Elementary equivalence of lattices of open sets
 definable in o-minimal expansions of real closed fields},
     journal = {Fundamenta Mathematicae},
     pages = {7--21},
     publisher = {mathdoc},
     volume = {220},
     number = {1},
     year = {2013},
     doi = {10.4064/fm220-1-2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm220-1-2/}
}
TY  - JOUR
AU  - Vincent Astier
TI  - Elementary equivalence of lattices of open sets
 definable in o-minimal expansions of real closed fields
JO  - Fundamenta Mathematicae
PY  - 2013
SP  - 7
EP  - 21
VL  - 220
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm220-1-2/
DO  - 10.4064/fm220-1-2
LA  - en
ID  - 10_4064_fm220_1_2
ER  - 
%0 Journal Article
%A Vincent Astier
%T Elementary equivalence of lattices of open sets
 definable in o-minimal expansions of real closed fields
%J Fundamenta Mathematicae
%D 2013
%P 7-21
%V 220
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm220-1-2/
%R 10.4064/fm220-1-2
%G en
%F 10_4064_fm220_1_2
Vincent Astier. Elementary equivalence of lattices of open sets
 definable in o-minimal expansions of real closed fields. Fundamenta Mathematicae, Tome 220 (2013) no. 1, pp. 7-21. doi : 10.4064/fm220-1-2. http://geodesic.mathdoc.fr/articles/10.4064/fm220-1-2/

Cité par Sources :