[FOM] "Proof" of the consistency of PA published by Oxford UP

Colin McLarty colin.mclarty at case.edu
Thu Mar 5 09:21:37 EST 2015

On Wed, Mar 4, 2015 at 3:33 PM, Richard Heck <richard_heck at brown.edu> wrote:

> If there's something interesting here, it's the way the semantics he
> develops doesn't require there to be a single infinite model, but only a
> succession of every-larger finite models. There are antecedents to that
> sort of idea in modal structuralist views, I believe, of the sort developed
> by Hellman, and perhaps more than antecedents. Maybe there are more
> developed forms of this idea, too, and if so I'd be interested to know
> where.
> I don't know if Hellman talks about this but you might be thinking of
Shaughan Lavine. *Understanding the Infinite*.Harvard University Press,
Cambridge,, which gives philosophic treatment to

Mycielski, J., “Analysis without actual infinity,” The Journal of Symbolic
Logic, vol. 46
(1981), pp. 625–33.

[14] Mycielski, J., “Locally finite theories,” The Journal of Symbolic
Logic, vol. 51 (1986),
pp. 59–62.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150305/b73339bd/attachment.html>

More information about the FOM mailing list