On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.
Di Paola, Robert A.
Pacific J. Math., Tome 19 (1966) no. 3, p. 455-456 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1966-05-14
Classification:  02.77 
@article{1102994127,
     author = {Di Paola, Robert A.},
     title = {On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.},
     journal = {Pacific J. Math.},
     volume = {19},
     number = {3},
     year = {1966},
     pages = { 455-456},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102994127}
}

Di Paola, Robert A. On sets represented by the same formula in distinct consistent axiomatizable Rosser theories.. Pacific J. Math., Tome 19 (1966) no. 3, pp.  455-456. http://gdmltest.u-ga.fr/item/1102994127/