RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2007 Volume 46, Number 3, Pages 275–289 (Mi al297)

This article is cited in 6 papers

Spectra of computable models for Ehrenfeucht theories

A. N. Gavryushkin

Novosibirsk State University

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.

Keywords: Ehrenfeucht theory, countable model, computable presentation of a model.

UDC: 510.53+510.67

Received: 10.12.2006


 English version:
Algebra and Logic, 2007, 46:3, 149–157

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024