scientific article; zbMATH DE number 4053589

MaRDI QIDQ3789541zbMATH OpenFDO

Authors Michał Krynicki, Jouko Väänänen

Publication date 1987

zbMATH Keywords

back and forth gamesdefinabilityexpressive powerfunction quantifiersHenkin quantifiersLindström quantifiermonadic elementary equivalencepartially ordered quantifiersecond order logicundefinability

Mathematics Subject Classification ID

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

Recommendations

• Henkin and function quantifiers
• scientific article; zbMATH DE number 1163935
• Degrees of logics with Henkin quantifiers in poor vocabularies
• Decidability problems in languages with Henkin quantifiers
• Henkin quantifiers and complete problems

Cited in

(12)

• Henkin quantifiers and complete problems
• Henkin and function quantifiers
• Decidability problems in languages with Henkin quantifiers
• A globally sound analytic calculus for Henkin quantifiers
• scientific article; zbMATH DE number 25881 (Why is no real title available?)
• Hierarchies of Partially Ordered Connectives and Quantifiers
• scientific article; zbMATH DE number 1163935 (Why is no real title available?)
• scientific article; zbMATH DE number 2149377 (Why is no real title available?)
• Towards a proof theory for Henkin quantifiers
• One Henkin quantifier in the empty vocabulary suffices for undecidability
• Henkin quantifiers and the definability of truth
• Decidability in elementary analysis. II

This page was built for publication:

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