Geodesic
Models of second order arithmetic with definable Skolem functions
Fundamenta Mathematicae, Tome 75 (1972) no. 3, pp. 223-234

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

DOI : 10.4064/fm-75-3-223-234

Andrzej Mostowski 1

1 
@article{10_4064_fm_75_3_223_234,
     author = {Andrzej Mostowski},
     title = {Models of second order arithmetic with definable {Skolem} functions},
     journal = {Fundamenta Mathematicae},
     pages = {223--234},
     publisher = {mathdoc},
     volume = {75},
     number = {3},
     year = {1972},
     doi = {10.4064/fm-75-3-223-234},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-75-3-223-234/}
}
TY  - JOUR
AU  - Andrzej Mostowski
TI  - Models of second order arithmetic with definable Skolem functions
JO  - Fundamenta Mathematicae
PY  - 1972
SP  - 223
EP  - 234
VL  - 75
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-75-3-223-234/
DO  - 10.4064/fm-75-3-223-234
LA  - en
ID  - 10_4064_fm_75_3_223_234
ER  - 
%0 Journal Article
%A Andrzej Mostowski
%T Models of second order arithmetic with definable Skolem functions
%J Fundamenta Mathematicae
%D 1972
%P 223-234
%V 75
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-75-3-223-234/
%R 10.4064/fm-75-3-223-234
%G en
%F 10_4064_fm_75_3_223_234
Andrzej Mostowski. Models of second order arithmetic with definable Skolem functions. Fundamenta Mathematicae, Tome 75 (1972) no. 3, pp. 223-234. doi: 10.4064/fm-75-3-223-234

Cité par Sources :