End-extensions of countable structures and the induction schema
Commentationes Mathematicae Universitatis Carolinae (1978)
- Volume: 019, Issue: 2, page 291-308
- ISSN: 0010-2628
Access Full Article
topHow to cite
topMlček, Josef. "End-extensions of countable structures and the induction schema." Commentationes Mathematicae Universitatis Carolinae 019.2 (1978): 291-308. <http://eudml.org/doc/16901>.
@article{Mlček1978,
author = {Mlček, Josef},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {2},
pages = {291-308},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {End-extensions of countable structures and the induction schema},
url = {http://eudml.org/doc/16901},
volume = {019},
year = {1978},
}
TY - JOUR
AU - Mlček, Josef
TI - End-extensions of countable structures and the induction schema
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1978
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 019
IS - 2
SP - 291
EP - 308
LA - eng
UR - http://eudml.org/doc/16901
ER -
References
top- KIESLER H. J., Forcing and the Omitting Types Theorem
- SHOENFIELD J. R., Mathematical Logic, Addison Wesley (1967). (1967) Zbl0155.01102MR0225631
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.