Remarks on generalized quantifiers and second order logics. (English) Zbl 0382.03010
Set Theory, Hierarchy Theory; Sci. Pap. Inst. Math. Wroclaw Tech. Univ. 14, Conf. 1, 117-123 (1977).
MSC:
03B15 | Higher-order logic; type theory (MSC2010) |
03B20 | Subsystems of classical logic (including intuitionistic logic) |
03B30 | Foundations of classical theories (including reverse mathematics) |