References
Boffa, M., Crabbé, M.: Les théorèmes 3-stratifiés deNF 3. Comptes Rendus de l'Académie des Sciences de Paris280, 1657–1658 (1975).
Grisin, V.N.: Consistency of a fragment of quine'sNF system. Soviet Math. Dokl.10, 1387–1390 (1969).
Grisin, V.N.: The method of stratification in set theory. Academy of Science of the USSR, Moscow 1973.
Oswald, U.: Fragmente von “New Foundations” und Typentheorie, mimeographed. Swiss Federal Institute of Technology, Zürich 1976.
Quine, W.V.: New foundations for mathematical logic. Am. Math. Monthly44, 70–80 (1937).
Specker, E.P.: Typical ambiguity, pp. 116–124. Proceedings of the 1960 Congress of Logic, Methodology and Philosophy of Science, Stanford 1962.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Oswald, U. Inequivalence of the fragments of new foundations. Arch math Logik 21, 77–82 (1981). https://doi.org/10.1007/BF02011635
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011635