Henkin and function quantifiers

DOI10.1016/0168-0072(89)90071-7zbMath0675.03023OpenAlexW2018761586MaRDI QIDQ1121872

Jouko Väänänen, Michał Krynicki

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

Henkin quantifierpartially ordered quantifiersexpressive powerspower setwell-orderingfunction quantifiermonadic fragmentsublogics only containing unary predicates

Mathematics Subject Classification ID

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

Related Items (4)

Decidability problems in languages with Henkin quantifiers ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Partially ordered connectives and monadic monotone strict NP ⋮ Definability hierarchies of generalized quantifiers

Cites Work

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

This page was built for publication: Henkin and function quantifiers