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: The axioms for ultrafinitist number theory?
Replies: 56   Last Post: Mar 30, 2014 10:20 AM

Advanced Search

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

Posts: 3,201
From: London
Registered: 2/8/08
Re: The axioms for ultrafinitist number theory?
Posted: Mar 23, 2014 2:24 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

"Dan Christensen" <Dan_Christensen@sympatico.ca> wrote in message
news:bf0643c2-48b6-471c-bb25-d961178afb8f@googlegroups.com...
> Axioms rewritten with binary predicate S for the successor relation and
> set membership 'e' for epsilon:


You have changed nothing of substance, and your induction schema is still
crippled.

<snip>
> It can be formally proven (374 lines in DC Proof format) that these axioms
> are satisfied by:
>
> n = {0, max}, max=/=0 and S(x,y) <=> x=0 & y=max


It can also be proved that omega_0+1 is a model for your axioms.

<plonk>

Julio




Date Subject Author
3/18/14
Read The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/18/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/18/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/18/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/20/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/19/14
Read Re: The axioms for ultrafinitist number theory?
Wizard-Of-Oz
3/19/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Wizard-Of-Oz
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Shmuel (Seymour J.) Metz
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Virgil
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Shmuel (Seymour J.) Metz
3/20/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/20/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/20/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/21/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/21/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/21/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/22/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/25/14
Read Re: The axioms for ultrafinitist number theory?
ross.finlayson@gmail.com
3/22/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/22/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/22/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/22/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
LudovicoVan
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Virgil
3/23/14
Read Re: The axioms for ultrafinitist number theory?
David Hartley
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/23/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/25/14
Read Re: The axioms for ultrafinitist number theory?
William Elliot
3/26/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/30/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen
3/30/14
Read Re: The axioms for ultrafinitist number theory?
Dan Christensen

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.