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

Topic: Joel David Hamkins on definable real numbers in analysis
Replies: 98   Last Post: Jun 30, 2013 3:22 PM

Advanced Search

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

Posts: 8,833
Registered: 1/6/11
Re: Joel David Hamkins on definable real numbers in analysis
Posted: Jun 24, 2013 3:16 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <313132df-3c75-473a-aa16-5beb919c6a6a@googlegroups.com>,
mueckenh@rz.fh-augsburg.de wrote:

> On Monday, 24 June 2013 00:44:20 UTC+2, Virgil wrote:
>

> > Nothing in any standard axiom system for the reals requires that there be
> > any numeral for any number, except possibly those named by 0 and 1.

>
> Ever real number must be in trichotomy with every rational number. Without
> digits this is very hard to prove. Without knowing and without being able to
> address the real at all, it is impossible to prove.


But since it is assumed as a part of the definition of any ordered field
of reals, it does not require proof.
--




Date Subject Author
6/18/13
Read Joel David Hamkins on definable real numbers in analysis
fom
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David Petry
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
fom
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Peter Percival
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/21/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/21/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/21/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/24/13
Read Re: WM screws up the notion of a limit!
Virgil
6/25/13
Read Re: WM screws up the notion of a limit!
Virgil
6/25/13
Read Re: WM screws up the notion of a limit!
Virgil
6/26/13
Read Re: WM screws up the notion of a limit!
Virgil
6/26/13
Read Re: WM screws up the notion of a limit!
fom
6/26/13
Read Re: WM screws up the notion of a limit!
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/22/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/23/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/24/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/25/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Ralf Bader
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
David C. Ullrich
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/27/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/27/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/26/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/27/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/27/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Tucsondrew@me.com
6/29/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/29/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/30/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/29/13
Read Re: Joel David Hamkins on definable real numbers in analysis
mueckenh@rz.fh-augsburg.de
6/29/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/28/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil
6/19/13
Read Re: Joel David Hamkins on definable real numbers in analysis
Virgil

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.