Axiomatizing universal properties of quantifiers

DOI10.2307/2275059zbMath0751.03016OpenAlexW4255969211MaRDI QIDQ3985088

Kees Doets

Publication date: 27 June 1992

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

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

zbMATH Keywords

monotonicityaxiomatizationuniversal sentencesfirst-order definability of properties of quantifiersFraïssé-Ehrenfeucht game

Mathematics Subject Classification ID

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

Related Items (1)

Directions in generalized quantifier theory

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