End-extensions of countable structures and the induction schema
Mlček, Josef
Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978), p. 291-308 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1978-01-01
Classification:  02H05,  02H13,  02H15,  02K05,  03C60,  03C68 
@article{105853,
     author = {Josef Ml\v cek},
     title = {End-extensions of countable structures and the induction schema},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {019},
     year = {1978},
     pages = {291-308},
     zbl = {0372.02030},
     mrnumber = {0491147},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105853}
}

Mlček, Josef. End-extensions of countable structures and the induction schema. Commentationes Mathematicae Universitatis Carolinae, Tome 019 (1978) pp. 291-308. http://gdmltest.u-ga.fr/item/105853/

Kiesler H. J. Forcing and the Omitting Types Theorem

Shoenfield J. R. Mathematical Logic, Addison Wesley (1967). (1967) | MR 0225631 | Zbl 0155.01102