[FOM] A FOL truth behind the Cantor lemma

[Harry Deutsch]

On 8/14/15 3:21 PM, Richard Grandy wrote:
>
> There is a first order logical truth that seems to me to be an even 
> more general and fundamental principle behind Cantor's lemma.
>
> I don't remember where I first saw this noted, I vaguely think it may 
> have been in something by Richard Cartwright.  It makes a nice exam 
> question in either semantic or derivational version.
>
>
> Richard Grandy
> Philosophy & Cognitive Sciences
> Rice University
> Houston TX (still in the USA so far)

Yes, the lemma can be expressed as a theorem of FOL.  If you think of a 
reference to Cartwright, please let me know.

Thanks,

Harry
>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150814/777e7639/attachment-0001.html>