Add to ORKGIn this paper, we shall study certain natural generalizations of the concept of real closure, replacing one ordering with a set of orderings. Following [Cl], we make the following definitions. DEFINITION 1.1. A formally real field is order closed if it has n
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
A super real closed ring is a commutative ring equipped with the operation of all continuous functio...
The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real clo...
Abstract"Closures" and "orders" of fields which are not necessarily formally real are introduced her...
AbstractIn this paper the existence of a real closure of an ordered field is given without the use o...
The purpose of this thesis is to study the concept of completeness in an ordered field. Several con...
In this paper, we present some basic facts concerning ordered fields. We review definitions of an or...
International audienceThis paper describes a generalization of the real closure computation of an or...
We extend the algebraic theory of ordered fields [7, 6] in Mizar [1, 2, 3]: we show that every preor...
ABSTRACT. The set of classical orderings of a field com-patible with a given place from the field to...
AbstractThe existing algorithms to construct the real closure of an ordered field involve very high ...
We recall that an ordered field is a field which has a linear order and the order topology (by this ...
A Hardy Field is a special field of equivalence classes of real functions which are defined on a nei...
This book is of interest to students as well as experts in the area of real algebraic geometry, quad...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
A super real closed ring is a commutative ring equipped with the operation of all continuous functio...
The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real clo...
Abstract"Closures" and "orders" of fields which are not necessarily formally real are introduced her...
AbstractIn this paper the existence of a real closure of an ordered field is given without the use o...
The purpose of this thesis is to study the concept of completeness in an ordered field. Several con...
In this paper, we present some basic facts concerning ordered fields. We review definitions of an or...
International audienceThis paper describes a generalization of the real closure computation of an or...
We extend the algebraic theory of ordered fields [7, 6] in Mizar [1, 2, 3]: we show that every preor...
ABSTRACT. The set of classical orderings of a field com-patible with a given place from the field to...
AbstractThe existing algorithms to construct the real closure of an ordered field involve very high ...
We recall that an ordered field is a field which has a linear order and the order topology (by this ...
A Hardy Field is a special field of equivalence classes of real functions which are defined on a nei...
This book is of interest to students as well as experts in the area of real algebraic geometry, quad...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
A super real closed ring is a commutative ring equipped with the operation of all continuous functio...
The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real clo...