Talk:Superreal number
From Wikipedia, the free encyclopedia
[edit] Context
Yes, I agree that this article lacks sufficient context, and I've made the barest, feeblest attempt to rectify this but I'm not really an expert.
Also I did have one specific question: "The quotient field F of A is a superreal field "
Quotient of A by what? We started with a Tychonoff space X, got the algebra of continuous real-valued functions, C(X) identified P, a prime ideal in this algebra and formed A, the factor algebra of C(X)/P
What are we modding out by in the next step? F = A/<what>
Zero sharp 00:09, 27 July 2007 (UTC)
[edit] Algebraically isomorphic to R but not order isomorphic to R?
The text says: The quotient field F of A is a superreal field if F strictly contains the real numbers , so that F is not order isomorphic to , though they may be isomorphic as fields.. Duh? I don't think this is possible: if F is algebraically isomorphic to R, then we can define positive or negative numbers of F using the existence or non-existence of the square root, etc. Albmont (talk) 14:31, 16 January 2008 (UTC)