Axiomatizing universal properties of quantifiers

DOI10.2307/2275059MaRDI QIDQ3985088zbMATH OpenOpenAlexFDO

Authors Kees Doets

Publication date 27 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275059

zbMATH Keywords

axiomatizationfirst-order definability of properties of quantifiersFraïssé-Ehrenfeucht gamemonotonicityuniversal sentences

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Recommendations

• Unary quantifiers on finite models
• Some results on quantifiers
• On the expressive power of monotone natural language quantifiers over finite models
• Quantifiers determined by partial orderings

Cited in

(9)

• Unary quantifiers on finite models
• Directions in generalized quantifier theory
• Model theory of monadic predicate logic with the infinity quantifier
• Untestable Properties Expressible with Four First-Order Quantifiers
• A Simple Construction of Robinson Equivalence Relations
• Finite Axiomatizations for Universal Domains
• Self-commuting quantifiers
• scientific article; zbMATH DE number 5064944 (Why is no real title available?)
• Some results on quantifiers

This page was built for publication: Axiomatizing universal properties of quantifiers

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