End-extensions of countable structures and the induction schema
Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 2, pp. 291-308 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02H05, 02H13, 02H15, 02K05, 03C60, 03C68
@article{CMUC_1978_19_2_a5,
     author = {Ml\v{c}ek, Josef},
     title = {End-extensions of countable structures and the induction schema},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {291--308},
     year = {1978},
     volume = {19},
     number = {2},
     mrnumber = {0491147},
     zbl = {0372.02030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a5/}
}
TY  - JOUR
AU  - Mlček, Josef
TI  - End-extensions of countable structures and the induction schema
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1978
SP  - 291
EP  - 308
VL  - 19
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a5/
LA  - en
ID  - CMUC_1978_19_2_a5
ER  - 
%0 Journal Article
%A Mlček, Josef
%T End-extensions of countable structures and the induction schema
%J Commentationes Mathematicae Universitatis Carolinae
%D 1978
%P 291-308
%V 19
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a5/
%G en
%F CMUC_1978_19_2_a5
Mlček, Josef. End-extensions of countable structures and the induction schema. Commentationes Mathematicae Universitatis Carolinae, Tome 19 (1978) no. 2, pp. 291-308. http://geodesic.mathdoc.fr/item/CMUC_1978_19_2_a5/

[1] KIESLER H. J.: Forcing and the Omitting Types Theorem.

[2] SHOENFIELD J. R.: Mathematical Logic. Addison Wesley (1967). | MR | Zbl