About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Mlček, Josef
End-extensions of countable structures and the induction schema. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 291-308
MSC: 02H05, 02H13, 02H15, 02K05, 03C60, 03C68 | MR 0491147 | Zbl 0372.02030
References:
[1] KIESLER H. J.: Forcing and the Omitting Types Theorem.
[2] SHOENFIELD J. R.: Mathematical Logic. Addison Wesley (1967). MR 0225631 | Zbl 0155.01102
Partner of
EuDML logo