The monadic fragment of predicate calculus with the Chang quantifier and equality
- 1 January 1968
- book chapter
- Published by Springer Nature
- p. 279-301
- https://doi.org/10.1007/bfb0079102
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Ultraproducts and Other Methods of Constructing ModelsPublished by Elsevier ,1967
- A note on the two cardinal problemProceedings of the American Mathematical Society, 1965
- The completeness of logic with the added quantifier "there are uncountable many"Fundamenta Mathematicae, 1964
- Skolem-type normal forms for first-order languages with a generalized quantifierFundamenta Mathematicae, 1964
- On cardinalities of ultraproductsBulletin of the American Mathematical Society, 1964
- Reduced direct productsFundamenta Mathematicae, 1962
- Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit FunktionsvariablenArchive for Mathematical Logic, 1957
- On a generalization of quantifiersFundamenta Mathematicae, 1957