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 

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
@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},
     year = {1972},
     volume = {75},
     number = {3},
     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
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
%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

Cité par Sources :