The equivalence of definable quantifiers in second order arithmetic
Guzicki, Wojciech
Fundamenta Mathematicae, Tome 112 (1981), p. 59-65 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
EUDML-ID : urn:eudml:doc:211285 
@article{bwmeta1.element.bwnjournal-article-fmv113i1p6bwm,
     author = {Wojciech Guzicki},
     title = {The equivalence of definable quantifiers in second order arithmetic},
     journal = {Fundamenta Mathematicae},
     volume = {112},
     year = {1981},
     pages = {59-65},
     zbl = {0493.03011},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv113i1p6bwm}
}

Guzicki, Wojciech. The equivalence of definable quantifiers in second order arithmetic. Fundamenta Mathematicae, Tome 112 (1981) pp. 59-65. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv113i1p6bwm/