Previous |  Up |  Next

Article

References:
[1] H. GAIFMAN: A note on models and submodels of arithmetic. Lecture Notes in Math., Vol. 255, Springer, Berlin, 1972. MR 0419215
[2] C. C. CHANG H. J. KEISLER: Model Theory. NHPC, 1973. MR 0409165
[3] J. MLČEK: End-extension of countable structures and the induction schema. Comment. Math. Univ. Carolinae 19 (1978), 291-308. MR 0491147
Partner of
EuDML logo