Unary quantifiers on finite models

DOI10.1023/A:1008209019899MaRDI QIDQ1361404zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen

Publication date 28 January 1998

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

Full work available at URL https://doi.org/10.1023/a:1008209019899

zbMATH Keywords

definabilitygeneralized quantifier[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Ehrenfeucht-Fra%EF%BF%BD%EF%BF%BDss%EF%BF%BD%EF%BF%BD+game&go=Go Ehrenfeucht-Fra��ss�� game]boundedly oscillated quantifierfinite modelmonotone quantifiersunary quantifiers

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Recommendations

• Axiomatizing universal properties of quantifiers
• Definability of polyadic lifts of generalized quantifiers
• On the expressive power of monotone natural language quantifiers over finite models

Cited in

(20)

• scientific article; zbMATH DE number 2144731 (Why is no real title available?)
• Hierarchies of monadic generalized quantifiers
• Relational structures constructible by quantifier free definable operations
• The Computational Complexity of Quantified Reciprocals
• Characterizing polynomial Ramsey quantifiers
• Random unary predicates: Almost sure theories and countable models
• scientific article; zbMATH DE number 536900 (Why is no real title available?)
• A dichotomy result for Ramsey quantifiers
• Counting modulo quantifiers on finite structures
• A dichotomy in classifying quantifiers for finite models
• Quantifiers determined by partial orderings
• Some results on quantifiers
• On the expressive power of monotone natural language quantifiers over finite models
• Model-complete theories of bounded unars
• Model theory of monadic predicate logic with the infinity quantifier
• A note on the monotonicity of reducible quantifiers
• Game-based notions of locality over finite models
• On probabilistic elimination of generalized quantifiers
• Quantifiers in limits
• Relativization of quantifiers in finite models

This page was built for publication: Unary quantifiers on finite models

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