Unary quantifiers on finite models
DOI10.1023/A:1008209019899zbMATH Open0880.03014OpenAlexW1489148631MaRDI QIDQ1361404FDOQ1361404
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
Recommendations
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
Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)
Cited In (19)
- Quantifiers in limits
- The Computational Complexity of Quantified Reciprocals
- A dichotomy result for Ramsey quantifiers
- Characterizing polynomial Ramsey quantifiers
- Model-complete theories of bounded unars
- Relativization of quantifiers in finite models
- Counting modulo quantifiers on finite structures
- Relational structures constructible by quantifier free definable operations
- Game-based notions of locality over finite models
- On the expressive power of monotone natural language quantifiers over finite models
- A note on the monotonicity of reducible quantifiers
- Title not available (Why is that?)
- On probabilistic elimination of generalized quantifiers
- Title not available (Why is that?)
- A dichotomy in classifying quantifiers for finite models
- Some results on quantifiers
- Hierarchies of monadic generalized quantifiers
- Random unary predicates: Almost sure theories and countable models
- Quantifiers determined by partial orderings
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)
