On definable completeness for ordered fields

MaRDI QIDQ5213269zbMATH OpenFDO

Authors Mojtaba Moniri

Publication date 31 January 2020

zbMATH Keywords

0-definably completeordered fieldreal closed field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Ordered fields (12J15) Model theory of fields (12L12)

Recommendations

• Expansions of ordered fields without definable gaps
• Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues
• On differentially closed ordered fields
• An analogue of the Baire category theorem
• A fundamental dichotomy for definably complete expansions of ordered fields

Cited in

(7)

• On mutual definability of operations on fields
• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
• Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues
• scientific article; zbMATH DE number 5781387 (Why is no real title available?)
• scientific article; zbMATH DE number 3963988 (Why is no real title available?)
• Definability and undefinability with real order at the background
• Expansions of ordered fields without definable gaps

This page was built for publication: On definable completeness for ordered fields

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