Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T22:53:43.523Z Has data issue: false hasContentIssue false
  • English
  • Français

NFSI IS NOT INCLUDED IN NF3

Published online by Cambridge University Press:  14 September 2016

MARCEL CRABBÉ
MARCEL CRABBÉ*
Affiliation:
CENTRE DE LOGIQUE UNIVERSITÉ CATHOLIQUE DE LOUVAIN B1368 LOUVAIN-LA-NEUVE BELGIUME-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove that the system of strong impredicative NF is not a part of a consistent 3-stratified extension of NF3.

Keywords

New-FoundationsNFimpredicative
Type
Articles
Information
The Journal of Symbolic Logic , Volume 81 , Issue 3 , September 2016 , pp. 948 - 950
Copyright
Copyright © The Association for Symbolic Logic 2016 

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

Boffa, M., Algèbres de Boole atomiques et modèles de la théorie des types . Cahiers du centre de logique, vol. 4 (1982), pp. 1–6.Google Scholar
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
Crabbé, M., On the consistency of an impredicative fragment of Quine’s NF, this Journal, vol. 47 (1982), pp. 131–136.Google Scholar
Crabbé, M., On the reduction of type theory . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 29 (1983), pp. 235–237.CrossRefGoogle Scholar
Grishin, V. N., Consistency of a fragment of Quine’s NF system . Soviet mathematics—Doklady, vol. 10 (1969), pp. 1387–1390.Google Scholar
Tupailo, S., Consistency of Strictly Impredicative NF and a little more…, this Journal, vol. 75 (2010), pp. 1326–1338.Google Scholar