Functions provably total in $I^{-}Σ_{n}$

Ratajczyk, Z.

Functions provably total in

I^{-} Σ_{n}

Ratajczyk, Z.

Fundamenta Mathematicae, Tome 132 (1989), p. 81-95 / Harvested from The Polish Digital Mathematics Library

Access to full text
Full (PDF)

Publié le : 1989-01-01

Zbl 0703.03018

EUDML-ID : urn:eudml:doc:211780

@article{bwmeta1.element.bwnjournal-article-fmv133i1p7bwm,
     author = {Z. Ratajczyk},
     title = {Functions provably total in $I^{-}$\Sigma$\_{n}$
            },
     journal = {Fundamenta Mathematicae},
     volume = {132},
     year = {1989},
     pages = {81-95},
     zbl = {0703.03018},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv133i1p7bwm}
}

Ratajczyk, Z. Functions provably total in $I^{-}Σ_{n}$
            . Fundamenta Mathematicae, Tome 132 (1989) pp. 81-95. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv133i1p7bwm/