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

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2009 Volume 9, Issue 2, Pages 30–37 (Mi vngu171)

This article is cited in 1 paper

On Constructive Models of Theories with Linear Rudin–Keisler Ordering

A. N. Gavryushkin

Novosibirsk State University

Abstract: Syntactical characterisation of the class of Ehrenfeucht theories was got in [1] by Sudoplatov. It was proved that one can set any Ehrenfeucht theory by a finite pre-ordering (Rudin–Keisler pre-ordering) and a function from this pre-ordering to the set of natural numbers as parameters.
One of the main results of the paper is the next one. For all $1\leqslant n\in\omega$ there exists an Ehrenfeucht theory $T_n$ such that $RK(T_n)\cong L_n$, all quasi-prime models of $T_n$ have no computable presentations, there exists computably presentable model of $T_n$.
[1] Sudoplatov, S. V., Complete Theories with Finitely Many Countable Models // Algebra and Logic. 2004. Vol. 43. No. 1. P. 62–69.

UDC: 510.53+510.67

Received: 01.12.2008



© Steklov Math. Inst. of RAS, 2024