Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

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

Tom 220 / 2013

Vincent Astier Fundamenta Mathematicae 220 (2013), 7-21 MSC: Primary 03C64; Secondary 03G05. DOI: 10.4064/fm220-1-2

Streszczenie

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.

Autorzy

  • Vincent AstierSchool of Mathematical Sciences
    University College Dublin
    Belfield, Dublin 4, Ireland
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek