An Isomorphism Theorem for Real-Closed Fields
نویسندگان
چکیده
منابع مشابه
An Isomorphism Theorem for Real-Closed Fields
A classical theorem of Steinitz [I& p. 1251 states that the characteristic of an algebraically closed field, together with it.s absolute degree of transcendency, uniquely det,ermine the field (up to isomorphism). It is easily seen that the word real-closed cannot be substituted for the words algebraically closed in this theorem. It is therefore natural to inquire what invariants other than the ...
متن کاملIsomorphism theorem for BSS recursively enumerable sets over real closed fields
The main result of this paper lies in the framework of BSS computabil-ity : it shows roughly that any recursively enumerable set S in R N , N 6 1, where R is a real closed eld, is isomorphic to R dim S by a bijec-tion ' which is decidable over S. Moreover the map S 7 ! ' is computable. Some related matters are also considered like characterization of the real closed elds with a r.e. set of innn...
متن کاملAn Isomorphism Theorem for Henselian Algebraic Extensions of Valued Fields
In general, the value groups and the residue elds do not suuce to classify the algebraic henselian extensions of a valued eld K, up to isomorphism over K. We deene a stronger, yet natural structure which carries information about additive and multiplica-tive congruences in the valued eld, extending the information carried by value groups and residue elds. We discuss the cases where these \mixed...
متن کاملAn isomorphism theorem for digraphs
A seminal result by Lovász states that two digraphs A and B (possibly with loops) are isomorphic if and only if for every digraph X the number of homomorphisms X → A equals the number of homomorphisms X → B. Lovász used this result to deduce certain cancellation properties for the direct product of digraphs. We develop an analogous result for the class of digraphs without loops, and with weak h...
متن کاملAn Intuitionistic Axiomatisation of Real Closed Fields
We give an intuitionistic axiomatisation of real closed fields, which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of clas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Mathematics
سال: 1955
ISSN: 0003-486X
DOI: 10.2307/1969812