Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?
From: Ken Pledger (Ken.Pledger_at_mcs.vuw.ac.nz)
Date: 02/23/05
- Next message: poopdeville_at_gmail.com: "Re: English Prime ( E-Prime [To Exist or Not to Exist])"
- Previous message: Barb Knox: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Maybe in reply to: Dan Christensen: "Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Next in thread: Ken Pledger: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Reply: Ken Pledger: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 24 Feb 2005 12:38:55 +1300
In article <we8Td.25$g4.166@tor-nn1.netcom.ca>,
"Dan Christensen" <dchris@allstream.net> wrote:
> Is so, can someone stetch out a proof starting from PA?
>
> Dan
Edmund Landau, "Grundlagen der Analysis" (also available in
English translation), Satz 27, proves that N is well-ordered. This can
easily be modified to give you strong induction.
Ken Pledger.
- Next message: poopdeville_at_gmail.com: "Re: English Prime ( E-Prime [To Exist or Not to Exist])"
- Previous message: Barb Knox: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Maybe in reply to: Dan Christensen: "Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Next in thread: Ken Pledger: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Reply: Ken Pledger: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
|
