Contents

Superreal number

Dales and Woodin's superreals are distinct from the super-real numbersofDavid O. Tall, which are lexicographically ordered fractions of formal power series over the reals.^[1]

Formal definition[edit]

Suppose X is a Tychonoff space and C(X) is the algebra of continuous real-valued functions on X. Suppose P is a prime ideal in C(X). Then the factor algebra A = C(X)/P is by definition an integral domain that is a real algebra and that can be seen to be totally ordered. The field of fractions FofA is a superreal fieldifF strictly contains the real numbers ${\displaystyle \mathbb {R} }$, so that F is not order isomorphic to ${\displaystyle \mathbb {R} }$.

If the prime ideal P is a maximal ideal, then F is a field of hyperreal numbers (Robinson's hyperreals being a very special case).^{[citation needed]}

References[edit]

Bibliography[edit]

• Dales, H. Garth; Woodin, W. Hugh (1996), Super-real fields, London Mathematical Society Monographs. New Series, vol. 14, The Clarendon Press Oxford University Press, ISBN 978-0-19-853991-9, MR 1420859
• Gillman, L.; Jerison, M. (1960), Rings of Continuous Functions, Van Nostrand, ISBN 978-0442026912