Henkin and function quantifiers
From MaRDI portal
Publication:1121872
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
Henkin quantifierpartially ordered quantifiersexpressive powerspower setwell-orderingfunction quantifiermonadic fragmentsublogics only containing unary predicates
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