The Rise and Fall of Typed Sentences
Crabbe, Marcel
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1858-1862 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We characterize the 3-stratifiable theorems of NF as a 3-stratifiable extension of NF$_3$; and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.
Publié le : 2000-12-14
Classification:  
@article{1183746270,
     author = {Crabbe, Marcel},
     title = {The Rise and Fall of Typed Sentences},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1858-1862},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746270}
}

Crabbe, Marcel. The Rise and Fall of Typed Sentences. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1858-1862. http://gdmltest.u-ga.fr/item/1183746270/