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)

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

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)