The quantifier complexity of {${\rm NF}$}
Kaye, Richard
Bull. Belg. Math. Soc. Simon Stevin, Tome 3 (1996) no. 2, p. 301-312 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1996-05-14
Classification:  New foundations,  quantifier complexity,  03E70,  03B25 
@article{1105554388,
     author = {Kaye, Richard},
     title = {The quantifier complexity of {${\rm NF}$}},
     journal = {Bull. Belg. Math. Soc. Simon Stevin},
     volume = {3},
     number = {2},
     year = {1996},
     pages = { 301-312},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1105554388}
}

Kaye, Richard. The quantifier complexity of {${\rm NF}$}. Bull. Belg. Math. Soc. Simon Stevin, Tome 3 (1996) no. 2, pp.  301-312. http://gdmltest.u-ga.fr/item/1105554388/