Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

• Autorzy: Vincent Astier
• Języki publikacji: EN

Abstrakty

EN

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]ⁿ 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]ⁿ 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.

Kategorie tematyczne

• 03C64: Model theory of ordered structures; o-minimality
• 03G05: Boolean algebras

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2013
• Tom: 220
• Numer: 1
• Strony: 7-21

Daty

wydano

2013

Twórcy

autor

Vincent Astier

• School of Mathematical Sciences, University College Dublin, Belfield, Dublin 4, Ireland

Identyfikatory

DOI

10.4064/fm220-1-2