Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?
From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 02/24/05
- Next message: OsherD: "Re: Lie Bracket Generalized in Logic"
- Previous message: john_correy_at_yahoo.com: "Re: In the empty domain:"
- Maybe in reply to: Dan Christensen: "Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Next in thread: H. Enderton: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 24 Feb 2005 04:49:27 -0600
On Wed, 23 Feb 2005 18:22:05 -0500, "Dan Christensen"
<dchris@allstream.net> wrote:
>Is so, can someone stetch out a proof starting from PA?
Exactly what do you mean by "transfinite induction for N",
strong or otherwise?
>Dan
>
************************
David C. Ullrich
- Next message: OsherD: "Re: Lie Bracket Generalized in Logic"
- Previous message: john_correy_at_yahoo.com: "Re: In the empty domain:"
- Maybe in reply to: Dan Christensen: "Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Next in thread: H. Enderton: "Re: Can transfinite (strong) induction for N be derived from Peano's Axioms?"
- Messages sorted by: [ date ] [ thread ]
