On the semantics of the Henkin quantifier

DOI10.2307/2273726zbMATH Open0418.03026OpenAlexW2139010686MaRDI QIDQ3208639FDOQ3208639

Authors: 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

semanticsdecision problemsHenkin quantifiersecond order logicsecond order quantifierdefinability of the power setHärtig quantifierlanguages 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)

Cites Work

• Finite Partially‐Ordered Quantifiers
• Title not available (Why is that?)
• Axioms for abstract model theory
• SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN I

Cited In (8)

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

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

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