|
Bulletin of Irkutsk State University. Series Mathematics, 2010, Volume 3, Issue 4, Pages 7–20
(Mi iigum172)
|
|
|
|
A new spectrum of computable models
A. N. Gavryushkin Irkutsk State University, 1 K.Marks St., Irkutsk 664003
Abstract:
In the paper we prove that there exist models $\mathfrak A$ and $\mathfrak B$ of an Ehrenfeucht theory such that $\mathfrak A$ is elementary embeddable into $\mathfrak B$, $\mathfrak B$ is elementary embeddable into $\mathfrak A$, model $\mathfrak A$ has a computable presentation, model $\mathfrak B$ has no computable presentation. This theorem together with the work [6] is the key result for the theorem describing co
Keywords:
Ehrenfeucht theory; computable model; decidable model; prime model; homogeneous model.
Citation:
A. N. Gavryushkin, “A new spectrum of computable models”, Bulletin of Irkutsk State University. Series Mathematics, 3:4 (2010), 7–20
Linking options:
https://www.mathnet.ru/eng/iigum172 https://www.mathnet.ru/eng/iigum/v3/i4/p7
|
Statistics & downloads: |
Abstract page: | 147 | Full-text PDF : | 68 | References: | 28 |
|