Local global theorems for diagonal forms of higher degree.
Model theory of fields: An application to positive semidefinite polynomials
O sedmnáctém Hilbertově problému
On a Class of Preorderrings of Higher Level.
On a universal axiomatization of the real closed fields
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
On Bröcker's t-invariant and separating families for constructible sets.
On Finite Intersections of "Henselian Valued" Fields.
On preordered fields related to Hilbert's 17th problem.
On quotients of the space of orderings of the field ℚ(x)
In this paper we present a method of obtaining new examples of spaces of orderings by considering quotient structures of the space of orderings - it is, in general, nontrivial to determine whether, for a subgroup the derived quotient structure is a space of orderings, and we provide some insights into this problem. In particular, we show that if a quotient structure arising from a subgroup of index 2 is a space of orderings, then it necessarily is a profinite one.
On Real Local-Global Principles.
On relative real holomorphy rings.
On Rings admitting orderings and 2-primary chains of orderings of higher level.
On SAP Fields.
On Some Hasse Principles over Formally Real Fields.
On the Cohomological Characterization of Real Free Pro-2-Group.
On the Extension of Real Places
On the homology of algebraic varieties over real closed fields.
On the Mostowski Number.
On the number of square classes of a field of finite level.
On the Pythagoras number of a real irreducible algebroid curve.