A construction of real closed fields

DOI10.1002/MALQ.201300052MaRDI QIDQ5258477zbMATH OpenOpenAlexFDO

Authors Akito Tsuboi, Yu-ichi Tanaka

Publication date 22 June 2015

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201300052

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

• Real closed fields and models of Peano arithmetic
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• A valuation theoretic characterization of recursively saturated real closed fields
• Real closed exponential fields
• scientific article; zbMATH DE number 4210287

Cites work

• Definability and decision problems in arithmetic
• Degrees of Recursively Saturated Models
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Real closed fields and models of Peano arithmetic
• Undecidability and Definability for the Theory of Global Fields

Cited in

(16)

• Restriction map of spaces of orderings of fields
• A valuation theoretic characterization of recursively saturated real closed fields
• An isomorphism theorem for real-closed fields
• Every real closed field has an integer part
• Real closed graded fields
• A characterization of nonstandard real fields
• An Intuitionistic Axiomatisation of Real Closed Fields
• Structures associated with real closed fields and the axiom of choice
• Algebraic combinatorics in bounded induction
• Real closed exponential fields
• Real closures of models of weak arithmetic
• ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD
• scientific article; zbMATH DE number 4139894 (Why is no real title available?)
• A geometric model of an arbitrary real closed field
• Schnorr Trivial Reals: A construction
• Real closed fields and IP-sensitivity

This page was built for publication: A construction of real closed fields

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