First Order Predicate Logic with Generalized Quantifiers

On a generalization of quantifiers

Andrzej Mostowski · Fundamenta Mathematicae · 1957 · 688 citations · Full text

Humanities, Computer Science, Mathematics +13

Arithmetical extensions of relational systems

Alfred Tarski, Robert L. Vaught · French digital mathematics library (Numdam) · 1958 · 296 citations

Computing, Computer Science, Mathematics +14

Skolem-type normal forms for first-order languages with a generalized quantifier

G. Fuhrken · Fundamenta Mathematicae · 1964 · 58 citations · Full text

Computing, Computer Science, Mathematics +13

Limit ultraproducts

H. Jerome Keisler · Journal of Symbolic Logic · 1965 · 15 citations

Natural Sciences, Computer Science, Mathematics +5