Premium
Real numbers and other completions
Author(s) -
Richman Fred
Publication year - 2008
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200710024
Subject(s) - countable set , mathematics , completeness (order theory) , real number , metric space , space (punctuation) , object (grammar) , discrete mathematics , combinatorics , computer science , artificial intelligence , mathematical analysis , operating system
A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete Archimedean Heyting field, a terminal object in the category of Archimedean Heyting fields. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)