We give a characterization of the irreducible components of a Weierstrass-type (W-type) analytic (resp. algebraic, Nash) variety in terms of the orbits of a Galois group associated in a natural way to this variety. Since every irreducible variety of pure dimension is (locally) a component of a W-type variety, this description may be applied to any such variety.
We develop an arithmetic characterization of elements in a field which are first-order definable by a parameter-free existential formula in the language of rings. As applications we show that in fields containing any algebraically closed field only the elements of the prime field are existentially ∅-definable. On the other hand, many finitely generated extensins of Q contain existentially ∅-definable elements which are transcendental over Q. Finally, we show that all transcendental elements in...
Prestel introduced a generalization of the notion of an ordering of a field, which is called a semiordering. Prestel’s axioms for a semiordered field differ from the usual (Artin-Schreier) postulates in requiring only the closedness of the domain of positivity under for nonzero , instead of requiring that positive elements have a positive product. In this work, this type of ordering is studied in the case of a division ring. It is shown that it actually behaves the same as in the commutative...