scientific article; zbMATH DE number 4053589

MaRDI QIDQ3789541zbMATH OpenFDO

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

Publication date 1987

zbMATH Keywords

definabilityexpressive powerHenkin quantifierssecond order logicfunction quantifiersundefinabilitypartially ordered quantifierLindström quantifierback and forth gamesmonadic elementary equivalence

Mathematics Subject Classification ID

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

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

(10)

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

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)