On Parameter Free Induction Schemas
Kaye, R. ; Paris, J. ; Dimitracopoulos, C.
J. Symbolic Logic, Tome 53 (1988) no. 1, p. 1082-1097 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We present a comprehensive study of the axiom schemas $I\Sigma^-_n, B\Sigma^-_n$ (induction and collection schemas for parameter free $\Sigma_n$ formulas) and some closely related schemas.
Publié le : 1988-12-14
Classification:  
@article{1183742783,
     author = {Kaye, R. and Paris, J. and Dimitracopoulos, C.},
     title = {On Parameter Free Induction Schemas},
     journal = {J. Symbolic Logic},
     volume = {53},
     number = {1},
     year = {1988},
     pages = { 1082-1097},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742783}
}

Kaye, R.; Paris, J.; Dimitracopoulos, C. On Parameter Free Induction Schemas. J. Symbolic Logic, Tome 53 (1988) no. 1, pp.  1082-1097. http://gdmltest.u-ga.fr/item/1183742783/