On the semantics of the Henkin quantifier

DOI10.2307/2273726MaRDI QIDQ3208639zbMATH OpenOpenAlexFDO

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

• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Axioms for abstract model theory
• Finite Partially‐Ordered Quantifiers
• 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)