RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2006 Volume 6, Issue 4, Pages 93–97 (Mi vngu248)

This article is cited in 1 paper

On spectra of computable models

E. B. Fokina

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Abstract: For every $n\in N$ we construct an example of theory with countably many countable models, such that its isomorphism type is defined by two dimensions. If we fix the second dimension, the first dimension gives the spectrum $\{1,\dots,n\}$. If we fix the first one then all models with this dimension are computable or are not computable simultaneously.

UDC: 517.1+519.5

Received: 28.10.2005



© Steklov Math. Inst. of RAS, 2024