Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-10T07:50:28.935Z Has data issue: false hasContentIssue false
  • English
  • Français

The consistency problem for NF

Published online by Cambridge University Press:  12 March 2014

M. Boffa
M. Boffa*
Affiliation:
Université de L'etat à Mons, Université Libre de Bruxelles, Belgique
Get access Rights & Permissions [Opens in a new window]

Extract

Although this problem is still open, there are a few related results concerning (i) theories equiconsistent with NF and (ii) consistent fragments of NF. Concerning (i) we will discuss the following results

(1) Specker's result about the equiconsistency of NF with an extension of the theory of types [16],

(2) the equiconsistency of NF with fragments of NF containing NFU [2], [10],

and a new one about

(3) the equiconsistency of NF with an extension of Zermelo's set theory with the axiom of comprehension restricted to bounded formulas.

Concerning (ii) we will give a simplified proof and a generalization of (4) Jensen's result about the consistency of NFU [13].

Only a few words will be devoted to

(5) Grishin's results and refinements [4], [5], [8], [9], treated with more details in [4].

The reader who is unfamiliar with NF or who has a natural repulsion for this system is first invited to read the excellent account contained in [7, Chapter III, §3].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 42 , Issue 2 , June 1977 , pp. 215 - 220
Copyright
Copyright © Association for Symbolic Logic 1977

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Beneš, V., A partial model for Quine's “New Foundations”, this Journal, vol. 19 (1954), pp. 197–200.Google Scholar
[2]Boffa, M., Entre NF et NFU, Comptes Rendus de l'Académie des Sciences de Paris, vol 277 (1973), pp. 821–822.Google Scholar
[3]Boffa, M., Sets equipollent to their power set in NF, this Journal, vol. 40 (1975), pp. 149–150.Google Scholar
[4]Boffa, M., On the axiomatization of NF, Colloque International de Logique, Clermont-Ferrand, 1975 (to appear).Google Scholar
[5]Boffa, M. and Crabbé, M., Les Théorèmes 3-stratifiés de NF3, Comptes Rendus de l'Académie des Sciences de Paris, vol. 280 (1975), pp. 1657–1658.Google Scholar
[6]Crabbé, M., Types ambigus, Ibid., pp. 1–2.Google Scholar
[7]Fraenkel, A., Bar-Hillel, Y. and Lévy, A., Foundations of set theory, North-Holland, Amsterdam, 1973.Google Scholar
[8]Grishin, V., Consistency of a fragment of Quine's NF system, Soviet Mathematics. Doklady, vol. 10 (1969), pp. 1387–1390.Google Scholar
[9]Grishin, V., The equivalence of Quine's NF system to one of its fragments, Nauchno-Tekh-nicheskaya Informatsiya, ser. 2, 1 (1972), pp. 22–24 (in Russian).Google Scholar
[10]Grishin, V., An investigation of some versions of Quine's system, Ibid., 5 (1973), pp. 34–37.Google Scholar
[11]Hailperin, T., A set of axioms for logic, this Journal, vol. 9 (1944), pp. 1–19.Google Scholar
[12]Hinnion, R., Sur la théorie des ensembles de Quine, Dissertation, Université Libre de Bruxelles, 1975.Google Scholar
[13]Jensen, R., On the consistency of a slight (?) modification of Quine's New Foundations, Synthese, vol. 19 (1968/1969), pp. 250/263.CrossRefGoogle Scholar
[14]Orey, S., New Foundations and the axiom of counting, Duke Mathematical Journal, vol. 31 (1964), pp. 655–660.CrossRefGoogle Scholar
[15]Specker, E., The axiom of choice in Quine's NF, Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.CrossRefGoogle Scholar
[16]Specker, E., Typical ambiguity, Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, Stanford, 1962, pp. 116–124.Google Scholar