scientific article; zbMATH DE number 4053589

zbMATH Open0646.03033MaRDI QIDQ3789541FDOQ3789541

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

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Decidability in elementary analysis. II
• Henkin quantifiers and the definability of truth
• Henkin and function quantifiers
• A globally sound analytic calculus for Henkin quantifiers
• Title not available (Why is that?)

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)