Re: Question about Frege's Theorem

On 24 Sep 2006 09:43:14 -0700, Peter_Smith <ps218@xxxxxxxxx> said:

lugita15@xxxxxxxxx wrote:

So *is* Henkin Semantics useless?

No, but we need the restriction to faithful models. Check out Shapiro,
as his is the classic modern treatment of this stuff and very clear.

Enderton's classic text _A Mathematical Introduction to Logic_ also has
a nice overview of 2nd-order languages with both standard semantics and
general semantics.

.