Henkin and function quantifiers

DOI10.1016/0168-0072(89)90071-7MaRDI QIDQ1121872zbMATH OpenOpenAlexFDO

Authors Michał Krynicki, Jouko Väänänen

Publication date 1989

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(89)90071-7

zbMATH Keywords

expressive powersfunction quantifierHenkin quantifiermonadic fragmentpartially ordered quantifierspower setsublogics only containing unary predicateswell-ordering

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Review text

The authors introduce a variant of the Henkin quantifier, called function quantifier. Function quantifiers can express such notions as well- ordering, power set, and they are stronger than their corresponding Chang-Magidor-Malitz quantifiers. Suitable generalizations of function quantifiers are put in relation with partially ordered quantifiers, and their relative expressive powers are compared. In the final section, the authors concentrate on sublogics only containing unary predicates.

Recommendations

• scientific article; zbMATH DE number 4053589
• scientific article; zbMATH DE number 1163935
• ON THE EXPRESSIVE POWER OF THE LOGICS L(Q_αⁿ¹,…,ⁿ_m)
• Decidability problems in languages with Henkin quantifiers
• Polyadic quantifiers

Cites work

• Definability hierarchies of generalized quantifiers
• Finite partially-ordered quantification
• Finite Partially‐Ordered Quantifiers
• Generalized Ehrenfeucht games
• Henkin quantifiers and complete problems
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3528202 (Why is no real title available?)
• scientific article; zbMATH DE number 3593524 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• On extensions of \(L_{\omega\omega}(Q_1)\)
• On Some Applications of Games for Härtig Quantifier
• On the semantics of the Henkin quantifier
• The Henkin Quantifier and Real Closed Fields

Cited in

(9)

• Partially ordered connectives and monadic monotone strict NP
• Henkin quantifiers and complete problems
• Decidability problems in languages with Henkin quantifiers
• Definability hierarchies of generalized quantifiers
• Complexity of syntactical tree fragments of independence-friendly logic
• A globally sound analytic calculus for Henkin quantifiers
• scientific article; zbMATH DE number 4053589 (Why is no real title available?)
• scientific article; zbMATH DE number 1163935 (Why is no real title available?)
• scientific article; zbMATH DE number 2149377 (Why is no real title available?)

This page was built for publication: Henkin and function quantifiers

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