We show that two families of germs of real-analytic subsets in Cn are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent of ...

We consider the signatures Σm = (0, 1,−,+, ·, ) of meadows and (Σm, s) of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply the...

1. In this paper we wish to study fields which can be written as intersections of real closed fields. Several more restrictive classes of fields have received careful study (real closed fields by Artin and Schreier, hereditarily euclidean fields by Prestel and Ziegler [8], hereditarily Pythagorean fields by Becker [1]), with this more general class of fields sometimes mentioned in passing. We s...

In this article we outline the methods that are used to prove undecidability of Hilbert’s Tenth Problem for function fields of characteristic zero. Following Denef we show how rank one elliptic curves can be used to prove undecidability for rational function fields over formally real fields. We also sketch the undecidability proofs for function fields of varieties over the complex numbers of di...

The reduced Witt rings of certain formally real fields are computed here in terms of some basic arithmetic invariants of the fields. For some fields, including the rational function field in one variable over the rational numbers and the rational function field in two variables over the real numbers, this is done by computing the image of the total signature map on the Witt ring. For a wider cl...

When reasoning formally with polynomials over real numbers, or more generally real closed fields, we need to be able to manipulate easily statements featuring an order relation, either in their conditions or in their conclusion. For instance, we need to state the intermediate value theorem and the mean value theorem and we need tools to ease both their proof and their further use. For that purp...

One of the fundamental questions in current field theory, related to Grothendieck’s conjecture of birational anabelian geometry, is the investigation of the precise relationship between the Galois theory of fields and the structure of the fields themselves. In this paper we initiate the classification of additive properties of multiplicative subgroups of fields containing all squares, using pro...