[FOM] Compactness of second order propositional logic

Guillermo Badia guillebadia89 at gmail.com
Sun Apr 19 01:01:29 EDT 2015


Dear all,
Are second order propositional languages compact?

Thanks,
Guillermo


More information about the FOM mailing list