FOM: Henkin's Induction paper
Vladik Kreinovich
vladik at cs.utep.edu
Mon May 21 12:08:27 EDT 2001
Henkin, L.
On mathematical induction
Am. Math. Mon. 67, 323-338 (1960).
> From: "charles silver" <silver_1 at mindspring.com>
> To: <fom at math.psu.edu>
> Subject: FOM: Henkin's Induction paper
> Date: Sat, 19 May 2001 09:49:16 -0500
> MIME-Version: 1.0
> Content-Transfer-Encoding: 7bit
> X-Priority: 3
> X-MSMail-Priority: Normal
> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
>
> Could someone please supply a reference to a very pleasant paper
> by Henkin on the nature of mathematical induction (perhaps just on the
> natural numbers, I forget)? I think it was in JSL.
>
> Thank you.
>
> Charlie Silver
>
More information about the FOM
mailing list