From: Kent Crispin <kent@songbird.com>
Date: Sun, 19 Jan 1997 22:10:45 -0800 (PST)
To: Jim Choate <ravage@EINSTEIN.ssz.com>
Subject: Re: Dedikend Cut's and such
Message-ID: <199701200610.WAA01640@toad.com>
MIME-Version: 1.0
Content-Type: text/plain


Jim Choate allegedly said:
> 
> 
> Hi,
> 
> Did a little research, Dedekind Cut's and such use Integers to define a
> SPECIFIC Real to a arbitrary BUT FIXED resolution. They do not define the
> set of Reals.

They do.  The set of all numbers representable by a DC is precisely 
the set of reals.

-- 
Kent Crispin				"No reason to get excited",
kent@songbird.com,kc@llnl.gov		the thief he kindly spoke...
PGP fingerprint:   5A 16 DA 04 31 33 40 1E  87 DA 29 02 97 A3 46 2F