On _-groups and fields

DOI10.1007/BF01462232MaRDI QIDQ1337577zbMATH OpenFDO

Authors Norman L. Alling, Salma Kuhlmann

Publication date 10 November 1994

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01462232

zbMATH Keywords

formal power series fieldsHahn groupsnonarchimedean ordered fieldsnonarchimedean ordered groupsorder typeordered divisible Abelian groupsreal closed fieldsvaluation theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Ordered fields (12J15)

Review text

Let \(\kappa= \aleph_ \alpha\). The following are known: two \(\eta_ \alpha\)-sets of power \(\kappa\) are isomorphic. Let \(\alpha> 0\). Two ordered divisible Abelian groups that are \(\eta_ \alpha\)-sets of power \(\kappa\) are isomorphic, two real closed fields that are \(\eta_ \alpha\)-sets of power \(\kappa\) are isomorphic. In section 3, we show that the condition of divisibility (respectively, real closedness) is necessary, by producing \(2^ \kappa\) nonisomorphic ordered Abelian groups (respectively, ordered fields) that are \(\eta_ \alpha\)-sets of power \(\kappa\). Erdős, Gillman and Henriksen raised the question whether the order type characterizes the real closed fields up to isomorphism. The answer was known to be negative, but we even provide \(2^ \kappa\) nonisomorphic ordered divisible Abelian groups (respectively real closed fields) of power \(\kappa\), all having the same order type. Finally, in section 5, we show that the answer to the above question remains negative even if we require the fields (respectively groups) to be \(\eta_ \alpha\)-sets: we construct two nonisomorphic ordered divisible Abelian groups (respectively real closed fields) that are \(\eta_ \alpha\)-sets and have the same order type. More precisely, these are the additive group and the multiplicative group of positive elements of a certain real closed \(\eta_ \alpha\)-field that fails to be an exponential field.

Recommendations

• An isomorphism theorem for real-closed fields
• Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields
• Publication:3483330
• A family of totally ordered groups with some special properties
• Valued fields with a universal embedding property andη_α-structures

Cites work

• A CHARACTERIZATION OF ABELIAN η _α -GROUPS IN TERMS OF THEIR NATURAL VALUATION
• An isomorphism theorem for real-closed fields
• Definable Sets in Ordered Structures. I
• scientific article; zbMATH DE number 3890254 (Why is no real title available?)
• Model theory
• On Exponentially Closed Fields
• On Ordered Divisible Groups
• Vaught's conjecture for o-minimal theories

Cited in

(12)

• Some attempts to define a general notion of groups and fields of dimension one and to determine their algebraic properties
• \(\kappa\)-bounded exponential-logarithmic power series fields
• A note on \(\aleph_\alpha\)-saturated o-minimal expansions of real closed fields
• The valuation difference rank of a quasi-ordered difference field
• Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers. II
• scientific article; zbMATH DE number 940706 (Why is no real title available?)
• Selected methods for the classification of cuts, and their applications
• Valued fields with a universal embedding property andη_α-structures
• A valuation theoretic characterization of recursively saturated real closed fields
• Cardinalities of η 1 -Ordered Fields
• scientific article; zbMATH DE number 3089195 (Why is no real title available?)
• Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields

This page was built for publication: On \(\eta_{\alpha}\)-groups and fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337577)