cardinality quantifiers

Kennedy, Juliette juliette.kennedy at helsinki.fi
Tue Jan 11 16:26:03 EST 2022


It seems to be still unknown. Up to now the best result seems to be that consistently the extension of first order logic by the quantifiers L(Q_1, Q_2, Q_3, Q_4) is not aleph_0-compact. This is in

Shelah, Saharon<https://mathscinet.ams.org/mathscinet/search/author.html?mrauthid=160185> (IL-HEBR-IM)<https://mathscinet.ams.org/mathscinet/search/institution.html?code=IL-HEBR-IM>
The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$-compactness. (English summary) Logic Colloquium '01, 402–433,
Lect. Notes Log., 20,<https://mathscinet.ams.org/mathscinet/search/series.html?id=4327> Assoc. Symbol. Logic, Urbana, IL, 2005.

But e.g. the case of L(Q_4) alone is open.


Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400
mobile: +358-50-371-4576

www.math.helsinki.fi/logic/people/juliette.kennedy/<http://www.math.helsinki.fi/logic/people/juliette.kennedy/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220111/e13ff3ca/attachment-0001.html>


More information about the FOM mailing list