| Title:
|
End-extensions of countable structures and the induction schema (English) |
| Author:
|
Mlček, Josef |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
19 |
| Issue:
|
2 |
| Year:
|
1978 |
| Pages:
|
291-308 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02H05 |
| MSC:
|
02H13 |
| MSC:
|
02H15 |
| MSC:
|
02K05 |
| MSC:
|
03C60 |
| MSC:
|
03C68 |
| idZBL:
|
Zbl 0372.02030 |
| idMR:
|
MR0491147 |
| . |
| Date available:
|
2008-06-05T20:58:09Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105853 |
| . |
| Reference:
|
[1] KIESLER H. J.: Forcing and the Omitting Types Theorem. |
| Reference:
|
[2] SHOENFIELD J. R.: Mathematical Logic.Addison Wesley (1967). Zbl 0155.01102, MR 0225631 |
| . |
