Some model theory for almost real closed fields

DOI10.2307/2275808MaRDI QIDQ3128465zbMATH OpenOpenAlexFDO

Authors Françoise Delon, Rafel Farré

Publication date 6 November 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275808

zbMATH Keywords

elementary equivalenceelementary inclusionfirst-order definable convex subgroupsHenselian valuationreal closed fieldreal valuation ringstheories of ordered Abelian groups

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Valued fields (12J10) Model theory of fields (12L12)

Recommendations

• Ordered fields dense in their real closure and definable convex valuations
• scientific article; zbMATH DE number 4135926
• Value groups and residue fields of models of real exponentiation
• A transfer theorem for Henselian valued and ordered fields

Cites work

• Chains of higher level orderings
• Elementary properties of ordered abelian groups
• scientific article; zbMATH DE number 3803567 (Why is no real title available?)
• Lectures on formally real fields

Cited in

(18)

• Valuation fans and residually closed Henselian fields
• Immediately algebraically closed fields
• Ordered fields dense in their real closure and definable convex valuations
• Strongly dependent ordered abelian groups and Henselian fields
• Residue field domination in real closed valued fields
• Model theoretic properties of metric valued fields
• Definable valuations induced by definable subgroups
• An Intuitionistic Axiomatisation of Real Closed Fields
• Recent progress on definability of Henselian valuations
• Distality in valued fields and related structures
• Definable V-topologies, Henselianity and NIP
• Value groups and residue fields of models of real exponentiation
• Model Completeness for the Real Field with the Weierstrass ℘ Function
• A valuation theoretic characterization of recursively saturated real closed fields
• Central Extensions of n-Ordered Division Rings
• Strongly NIP almost real closed fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Definable valuations on ordered fields

This page was built for publication: Some model theory for almost real closed fields

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