|
|
|
|
Список литературы
|
|
| |
| 1. |
Стукачев А. И., “$\Sigma$-определимость в наследственно конечных надстройках и пары моделей”, Алгебра и логика, 43:4 (2004), 459–481    |
| 2. |
Ершов Ю. Л., Определимость и вычислимость, Научная книга, Новосибирск, 1996 |
| 3. |
Стукачев А. И., “О степенях представимости моделей. II”, Алгебра и логика, 47:1 (2008), 108–126 |
| 4. |
Ershov Yu. L., “$\Sigma$-definability of algebraic structures”, Handbook of recursive mathematics, v. 1, Stud. Logic Found. Math., 138, Recursive model theory, Elsevier Sci. B. V., Amsterdam, 1998, 235–260 |
| 5. |
Kierstead H. A., Remmel J. B., “Indiscernibles and decidable models”, J. Symbol. Logic, 48:1 (1983), 21–32  |
| 6. |
Hodges W., Model theory, Cambridge Univ. Press, Cambridge, 1993 |
