On the semantics of the Henkin quantifier

DOI10.2307/2273726zbMath0418.03026OpenAlexW2139010686MaRDI QIDQ3208639

Michał Krynicki, Alistair H. Lachlan

Publication date: 1979

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273726

zbMATH Keywords

decision problemsHenkin quantifiersemanticsHärtig quantifiersecond order logicsecond order quantifierdefinability of the power setlanguages with additional quantifierpartially ordered quantifiertheory of addition of the natural numberstheory of unary relations

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Related Items (8)

Degrees of logics with Henkin quantifiers in poor vocabularies ⋮ Henkin and function quantifiers ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Decidability problems in languages with Henkin quantifiers ⋮ On the logic of informational independence and its applications ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ IF-logic and truth-definition ⋮ Some theorems in generalized calculuses

Cites Work

• Unnamed Item
• Axioms for abstract model theory
• SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN I
• Finite Partially‐Ordered Quantifiers

This page was built for publication: On the semantics of the Henkin quantifier