Spectra of computable models for Ehrenfeucht theories |
| |
Authors: | A N Gavryushkin |
| |
Institution: | (1) Novosibirsk State University, Novosibirsk, Russia |
| |
Abstract: | We construct an example of a theory with a finite (greater than one) number of isomorphism types of countable models such
that its prime and saturated models have computable presentations and there exists a model which lacks in such.
Supported by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools via project NSh-4413.2006.1.
__________
Translated from Algebra i Logika, Vol. 46, No. 3, pp. 275–289, May–June, 2007. |
| |
Keywords: | Ehrenfeucht theory countable model computable presentation of a model |
本文献已被 SpringerLink 等数据库收录! |
|