[FOM] Characterization of the real numbers
JP Mayberry, Mathematics
J.P.Mayberry at bristol.ac.uk
Sun Feb 6 18:26:08 EST 2005
How about "complete linear ordering without endpoints having a countable
dense subset". I think this is Cantor's characterization.
--On 06 February 2005 15:23 -0500 JoeShipman at aol.com wrote:
> What is the simplest characterization of the real numbers? That is, what
> is the simplest description of a structure, any model of which is
> isomorphic to the real numbers?
>
> A standard way of characterizing the real numbers is "ordered field with
> the least upper bound property". But do I need to refer to field
> operations? "Dense ordering without endpoints and the least upper bound
> property" isn't sharp enough. "Homogenous dense ordering with the least
> upper bound property" looks better, except that it doesn't rule out the
> "long line" (product of the set of countable ordinals with [0,1} in
> dictionary order, with intial point removed). (It also doesn't rule out
> the reversed long line, or the symmetric long line.)
>
> The best I can do without referring to relations other than the order
> relation is "dense ordering with least upper bound property, isomorphic
> to any of its nonempty open intervals". Can anyone improve on this?
>
> -- JS
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
-------------------------------------
JP Mayberry, Mathematics
J.P.Mayberry at bristol.ac.uk
------------------------------------
More information about the FOM
mailing list