ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)

DOI10.1002/MALQ.19840300103MaRDI QIDQ3328527zbMATH OpenOpenAlexFDO

Authors Andreas Rapp

Publication date 1984

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19840300103

zbMATH Keywords

expressive powergeneralized quantifiersMagidor-Malitz quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Recommendations

• On the expressibility hierarchy of Magidor-Malitz quantifiers
• Rank hierarchies for generalized quantifiers
• The expressive power of Malitz quantifiers for linear orderings
• scientific article; zbMATH DE number 4035803
• The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata

Cited in

(12)

• The expressive power of Malitz quantifiers for linear orderings
• Henkin and function quantifiers
• Definability hierarchies of generalized quantifiers
• Generalized Archimedean fields and logics with Malitz quantifiers
• ω-Trees in stationary logic
• scientific article; zbMATH DE number 4035803 (Why is no real title available?)
• The Beth-closure of ℒ(Q_α) is not finitely generated
• Morley numbers for generalized languages
• scientific article; zbMATH DE number 1163934 (Why is no real title available?)
• scientific article; zbMATH DE number 3995641 (Why is no real title available?)
• The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata
• Elementary equivalence of partition lattices

This page was built for publication: ON THE EXPRESSIVE POWER OF THE LOGICS L(Q_αⁿ¹,…,ⁿ_m)

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