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

power setwell-orderingHenkin quantifierexpressive powersfunction quantifiermonadic fragmentpartially ordered quantifierssublogics only containing unary predicates

Mathematics Subject Classification ID

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

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

• 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?)
• Definability hierarchies of generalized quantifiers
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Generalized Ehrenfeucht games
• Henkin quantifiers and complete problems
• On Some Applications of Games for Härtig Quantifier
• On extensions of \(L_{\omega\omega}(Q_1)\)
• On the semantics of the Henkin quantifier
• The Henkin Quantifier and Real Closed Fields

Cited in

(9)

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