Characterizing definability of second-order generalized quantifiers

DOI10.1007/978-3-642-20920-8_20MaRDI QIDQ3003360zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Jakub Szymanik

Publication date 27 May 2011

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20920-8_20

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• A characterization of definability of second-order generalized quantifiers with applications to non-definability
• Definability of second order generalized quantifiers
• The hierarchy theorem for generalized quantifiers
• The hierarchy theorem for second order generalized quantifiers
• Definability of polyadic lifts of generalized quantifiers

Cited in

(6)

• Definability of polyadic lifts of generalized quantifiers
• On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
• A characterization of definability of second-order generalized quantifiers with applications to non-definability
• Second Order Definability Via enumerations
• The hierarchy theorem for second order generalized quantifiers
• Definability of second order generalized quantifiers

This page was built for publication: Characterizing definability of second-order generalized quantifiers

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