Displaying 21 – 40 of 97

Showing per page

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

Vincent Astier (2013)

Fundamenta Mathematicae

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

Embedding theorems for spaces of ℝ-places of rational function fields and their products

Katarzyna Kuhlmann, Franz-Viktor Kuhlmann (2012)

Fundamenta Mathematicae

We study spaces M(R(y)) of ℝ-places of rational function fields R(y) in one variable. For extensions F|R of formally real fields, with R real closed and satisfying a natural condition, we find embeddings of M(R(y)) in M(F(y)) and prove uniqueness results. Further, we study embeddings of products of spaces of the form M(F(y)) in spaces of ℝ-places of rational function fields in several variables. Our results uncover rather unexpected obstacles to a positive solution of the open question whether the...

Currently displaying 21 – 40 of 97