From: Virgil on
In article <457EC403.80502(a)et.uni-magdeburg.de>,
Eckard Blumschein <blumschein(a)et.uni-magdeburg.de> wrote:

> On 12/11/2006 10:35 PM, Virgil wrote:
>
> > Given any rational, it is easy to construct the set of all larger
> > rationals,
>
> Really? Who gives me all rationals?

ZFC and NBG, for starters.
From: MoeBlee on
Tony Orlow wrote:
> whereas Robinson makes sense and comes to all the right
> conclusions. I kind of like that. :)

Then you think that ZFC comes to all the right conclusions.

MoeBlee

From: Virgil on
In article <457EC740.4040606(a)et.uni-magdeburg.de>,
Eckard Blumschein <blumschein(a)et.uni-magdeburg.de> wrote:

> On 12/11/2006 10:43 PM, Virgil wrote:
> > In article <457D846A.3080208(a)et.uni-magdeburg.de>,
> > Eckard Blumschein <blumschein(a)et.uni-magdeburg.de> wrote:
>
> >> Cantor himself has shown with DA2 that they are not such field.
> >
> > False! EB apparently has no idea what DA2 says.
> > What part of DA2 does EB allege shows that the reals are "not a complete
> > ordered field"?
>
> If there is a number outside then the field is not complete.

Does EB know of any numbers "outside"?

If one is considering, say, the Dedekind construction, it has been shown
that repeating the process does not create any new numbers. So where is
this mythical "outside" to get its numbers from?
From: MoeBlee on

Tony Orlow wrote:
> Huh! Pfff!!! Tsss!!

Just read the damn Robinson book as well as whatever you need for the
required rudiments in mathematical logic and set theoery that are
assumed that the reader undersands before even OPENING Robinson's book.

MoeBlee

From: MoeBlee on
Eckard Blumschein wrote:
> Uncountable is the opposite of countable. Therefore it has also to
> include non-sets.

Oy vey. Blumschein POSSIBLY qualifies as even more hopeless than Orlow.

MoeBlee