Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA construction of real closed fields.AuthorsTanaka, Yu‐ichi; Tsuboi, AkitoAbstractWe introduce a new construction of real closed fields by using an elementary extension of an ordered field with an integer part satisfyingSubjectsTOPOLOGICAL fields; MODULAR arithmetic; REAL numbers; PEANO axioms; NUMBER theoryPublicationMathematical Logic Quarterly, 2015, Vol 61, Issue 3, p159ISSN0942-5616Publication typeArticleDOI10.1002/malq.201300052