Geodesic
The equivalence of definable quantifiers in second order arithmetic
Fundamenta Mathematicae, Tome 113 (1981) no. 1, pp. 59-65.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI : 10.4064/fm-113-1-59-65

Wojciech Guzicki 1

1 
@article{10_4064_fm_113_1_59_65,
     author = {Wojciech Guzicki},
     title = {The equivalence of definable quantifiers in second order arithmetic},
     journal = {Fundamenta Mathematicae},
     pages = {59--65},
     publisher = {mathdoc},
     volume = {113},
     number = {1},
     year = {1981},
     doi = {10.4064/fm-113-1-59-65},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-113-1-59-65/}
}
TY  - JOUR
AU  - Wojciech Guzicki
TI  - The equivalence of definable quantifiers in second order arithmetic
JO  - Fundamenta Mathematicae
PY  - 1981
SP  - 59
EP  - 65
VL  - 113
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-113-1-59-65/
DO  - 10.4064/fm-113-1-59-65
LA  - en
ID  - 10_4064_fm_113_1_59_65
ER  - 
%0 Journal Article
%A Wojciech Guzicki
%T The equivalence of definable quantifiers in second order arithmetic
%J Fundamenta Mathematicae
%D 1981
%P 59-65
%V 113
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-113-1-59-65/
%R 10.4064/fm-113-1-59-65
%G en
%F 10_4064_fm_113_1_59_65
Wojciech Guzicki. The equivalence of definable quantifiers in second order arithmetic. Fundamenta Mathematicae, Tome 113 (1981) no. 1, pp. 59-65. doi : 10.4064/fm-113-1-59-65. http://geodesic.mathdoc.fr/articles/10.4064/fm-113-1-59-65/

Cité par Sources :