Geodesic
Axiomatizability of second order arithmetic with ω-rule
Fundamenta Mathematicae, Tome 100 (1978) no. 1, pp. 51-57

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

DOI : 10.4064/fm-100-1-51-57

Paweł Zbierski 1

1 
@article{10_4064_fm_100_1_51_57,
     author = {Pawe{\l} Zbierski},
     title = {Axiomatizability of second order arithmetic with \ensuremath{\omega}-rule},
     journal = {Fundamenta Mathematicae},
     pages = {51--57},
     publisher = {mathdoc},
     volume = {100},
     number = {1},
     year = {1978},
     doi = {10.4064/fm-100-1-51-57},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-100-1-51-57/}
}
TY  - JOUR
AU  - Paweł Zbierski
TI  - Axiomatizability of second order arithmetic with ω-rule
JO  - Fundamenta Mathematicae
PY  - 1978
SP  - 51
EP  - 57
VL  - 100
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-100-1-51-57/
DO  - 10.4064/fm-100-1-51-57
LA  - en
ID  - 10_4064_fm_100_1_51_57
ER  - 
%0 Journal Article
%A Paweł Zbierski
%T Axiomatizability of second order arithmetic with ω-rule
%J Fundamenta Mathematicae
%D 1978
%P 51-57
%V 100
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-100-1-51-57/
%R 10.4064/fm-100-1-51-57
%G en
%F 10_4064_fm_100_1_51_57
Paweł Zbierski. Axiomatizability of second order arithmetic with ω-rule. Fundamenta Mathematicae, Tome 100 (1978) no. 1, pp. 51-57. doi: 10.4064/fm-100-1-51-57

Cité par Sources :