Displaying 481 – 500 of 2019

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

Equations in the Hadamard ring of rational functions

Andrea Ferretti, Umberto Zannier (2007)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Let K be a number field. It is well known that the set of recurrencesequences with entries in K is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume { a n } is a recurrence sequence and suppose that all the a n have a d th root in the field K ; then (after...

Currently displaying 481 – 500 of 2019