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

DOI10.2307/2275278zbMath0785.03024OpenAlexW1972220550MaRDI QIDQ4032628

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
• Beth's theorem in cardinality logics
• The theorems of beth and Craig in abstract model theory II. Compact logics

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