FOM: Quantifier question

Thomas Forster T.Forster at dpmms.cam.ac.uk
Sat Jul 13 09:51:31 EDT 2002


In the logic i was originally thinking of - which i think is
the one Torkel is writing about - there doesn't appear to be
any way of saying ``there are at least 3 x such that'', co's
the ordinary quantifiers have been removed.  So if it's incompact
as Torkel says then its incompact for other reasons.
    It seems such an obvious logic to consider.... surely someone
must have sorted this out in the 50s or 60s......

          Thomas Forster




More information about the FOM mailing list