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 

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
@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},
     year = {1981},
     volume = {113},
     number = {1},
     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
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
%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

Cité par Sources :