A construction of real closed fields

DOI10.1002/malq.201300052zbMath1372.03082OpenAlexW1500729280MaRDI QIDQ5258477

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)

Related Items (1)

Algebraic combinatorics in bounded induction

Cites Work

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

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