Shortening of the universal class in the alternative set theory. (English) Zbl 0642.03032
Abstract of thesis.
MSC:
03E70 | Nonclassical and second-order set theories |
03E70 | Nonclassical and second-order set theories |