Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: § 488 Who said this?
Replies: 187   Last Post: May 7, 2014 10:06 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Virgil

Posts: 9,012
Registered: 1/6/11
Re: � 488 Who said this?
Posted: May 4, 2014 2:08 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <826de7ca-78f1-4dd6-bab2-6a2490e04321@googlegroups.com>,
mueckenh@rz.fh-augsburg.de wrote:

> On Sunday, 4 May 2014 01:12:40 UTC+2, Virgil wrote:
>
>

> > > What elements has the set of all individually undefinable real numbers?
> >
>
> > All but the countably many real numbers for which there can be finite
> > individual definitions.

>
> > > Does
> > > it differ from one of its subsets

> >
>
> > It only need differ from its proper subsets, of which there are many.
> >

>
> > E.g., EVERY subset of only those individually undefinable real numbers
> > within a real interval having distinct rational endpoints will be a
> > proper subset of the set of all individually undefinable real numbers.

>
> And without rational endpoints?


How about the real interval from sqrt(2) to sqrt(3).
Since at least countably many irrationals occur as square roots of
rationals, not to mention cube roots and higher order roots, there are
quite enough such intervals, too.




> Take the well-ordered set of all undefinable
> real numbers, then remove 10 elements.


There are no totally undefineable real numbers, only individually
undefineable ones, uncountably many of them in every open real interval
of strictly positive length.
--




Date Subject Author
4/29/14
Read § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: � 488 Who said this?
FredJeffries@gmail.com
4/29/14
Read wTf
Brian Q. Hutchings
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
4/30/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
thenewcalculus@gmail.com
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Ralf Bader
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
Ralf Bader
5/1/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: ï¿∏ 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: § 488 Who said this?
Dan Christensen
5/1/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Roland Franzius
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read OT: Lord Longford (was Re: § 488 Who
said this?)
Robin Chapman
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/6/14
Read Re: � 488 Who said this?
ross.finlayson@gmail.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/7/14
Read Re: § 488 Who said this?
thenewcalculus@gmail.com

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.