Further Consistency and Independence Results in NF Obtained by the Permutation Method
Forster, T. E.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 236-238 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1983-06-14
Classification:  
@article{1183741241,
     author = {Forster, T. E.},
     title = {Further Consistency and Independence Results in NF Obtained by the Permutation Method},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 236-238},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741241}
}

Forster, T. E. Further Consistency and Independence Results in NF Obtained by the Permutation Method. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  236-238. http://gdmltest.u-ga.fr/item/1183741241/