Provable fixed points in ${\rm I}\Delta_0+\Omega_1$.
Carbone, Alessandra
Notre Dame J. Formal Logic, Tome 32 (1991) no. 2, p. 562-572 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1991-09-14
Classification:  03F30,  03B45,  03F40 
@article{1093635928,
     author = {Carbone, Alessandra},
     title = {Provable fixed points in ${\rm I}\Delta\_0+\Omega\_1$.},
     journal = {Notre Dame J. Formal Logic},
     volume = {32},
     number = {2},
     year = {1991},
     pages = { 562-572},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093635928}
}

Carbone, Alessandra. Provable fixed points in ${\rm I}\Delta_0+\Omega_1$.. Notre Dame J. Formal Logic, Tome 32 (1991) no. 2, pp.  562-572. http://gdmltest.u-ga.fr/item/1093635928/