A construction of real closed fields
From MaRDI portal
Publication:5258477
DOI10.1002/MALQ.201300052zbMATH Open1372.03082OpenAlexW1500729280MaRDI QIDQ5258477FDOQ5258477
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
Recommendations
Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Ordered fields (12J15) Model theory of fields (12L12)
Cites Work
- 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
- Definability and decision problems in arithmetic
- Degrees of Recursively Saturated Models
- 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
- Algebraic combinatorics in bounded induction
- Structures associated with real closed fields and the axiom of choice
- Real closed exponential fields
- Real closures of models of weak arithmetic
- ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD
- Title not available (Why is that?)
- Schnorr Trivial Reals: A construction
- A geometric model of an arbitrary real closed field
- 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)
