×

The consistency problem for NF. (English) Zbl 0377.02040


MSC:

03E35 Consistency and independence results
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Colloque International de Logique, Clermont-Ferrand (1975)
[2] Comptes Rendus de l’Académie des Sciences de Paris 280 pp 1657– (1975)
[3] Comptes Rendus de l’Académie des Sciences de Paris 277 pp 821– (1973)
[4] A partial model for Quine’s ”New Foundations” 19 pp 197– (1954) · Zbl 0058.00703
[5] Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress pp 116– (1962)
[6] DOI: 10.1073/pnas.39.9.972 · Zbl 0051.03705
[7] DOI: 10.1215/S0012-7094-64-03163-1 · Zbl 0143.00903
[8] Synthese 19 pp 250/263– (1968)
[9] A set of axioms for logic 9 pp 1– (1944)
[10] Nauchno-Tekh-nicheskaya Informatsiya pp 22– (1972)
[11] An investigation of some versions of Quine’s system pp 34– (1973)
[12] Soviet Mathematics. Doklady 10 pp 1387– (1969)
[13] Foundations of set theory (1973)
[14] Types ambigus pp 1– · Zbl 0306.02016
[15] Sets equipollent to their power set in NF 40 pp 149– (1975) · Zbl 0327.02052
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.