The Beth-closure of ℒ(Qα) is not finitely generated

DOI10.2307/2275278zbMATH Open0785.03024OpenAlexW1972220550MaRDI QIDQ4032628FDOQ4032628

Kerkko Luosto, Lauri Hella

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275278

zbMATH Keywords

Lindström quantifiers\(n\)-ary generalized quantifiersBeth-closure

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Cites Work

• Definability hierarchies of generalized quantifiers
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Beth's theorem in cardinality logics

Cited In (1)

• \(\mathcal K_g\) is not finitely generated

Recommendations

• Title not available (Why is that?) 👍 👎
• Remarks in abstract model theory 👍 👎
• Stationary logic and its friends. II 👍 👎
• The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata 👍 👎
• ON THE EXPRESSIVE POWER OF THE LOGICS L(Q_αⁿ¹,…,ⁿ_m) 👍 👎

This page was built for publication: The Beth-closure of ℒ(Q_α) is not finitely generated

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032628)