FOM: Quantifier question

[Thomas Forster]

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