On constructive models of theories with linear Rudin-Keisler ordering

被引：0

作者：

Gavryushkin, Alexander ^{[1
]}

机构：

[1] Irkutsk State Univ, Inst Math Econ & Informat, Irkutsk 664003, Russia

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2012年 / 22卷 / 04期

关键词：

Ehrenfeucht theory; Rudin-Keisler order; decidable theory; decidable model; computable model;

D O I：

10.1093/logcom/exq043

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

It is known that the class of Ehrenfeucht theories admits a syntactical characterization and that a finite (Rudin-Keisler) pre-ordering and a function mapping this pre-ordering to naturals play the role of parameters in this characterization. In the article, we construct for any finite linear ordering L, a hereditary decidable Ehrenfeucht theory T possessing L as its Rudin-Keisler pre-ordering. Also, we discuss decidable and computable models of such theories.

引用

页码：793 / 805

页数：13

共 44 条

[21] Constructive models of uncountably categorical theories
Herwig, B
Lempp, S
Ziegler, M
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1999, 127 (12) : 3711 - 3719
[22] RECURSIVE MODELS FOR CONSTRUCTIVE SET THEORIES
BEESON, M
ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (2-3): : 127 - 178
[23] CONSTRUCTIVE MODELS OF CHI-1-CATEGORICAL THEORIES
GONCHAROV, SS
MATHEMATICAL NOTES, 1978, 23 (5-6) : 486 - 487
[24] Constructive set theories and their category-theoretic models
Simpson, Alex
FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS: TOWARDS PRACTICABLE FOUNDATIONS FOR CONSTRUCTIVE MATHEMATICS, 2005, 48 : 41 - 61
[25] Prime models of theories of computable linear orderings
Hirschfeldt, DR
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2001, 129 (10) : 3079 - 3083
[26] On homogeneity and small extensions of models of the theory of linear ordering
Kudaibergenov K.Zh.
Siberian Advances in Mathematics, 2009, 19 (3) : 172 - 178
[27] Constructive expansion for vector field theories I. Quartic models in low dimensions
Erbin, Harold
Lahoche, Vincent
Tamaazousti, Mohamed
JOURNAL OF MATHEMATICAL PHYSICS, 2021, 62 (04)
[28] NON-LINEAR MODELS AS GAUGE-THEORIES
BALACHANDRAN, AP
STERN, A
TRAHERN, G
PHYSICAL REVIEW D, 1979, 19 (08): : 2416 - 2425
[29] Non-linear predictions from linear theories in models with Dark Energy
Mainini, R
Macciò, AV
Bonometto, SA
NEW ASTRONOMY, 2003, 8 (02) : 173 - 178
[30] ORDERING OF NONNEGATIVE DEFINITE MATRICES WITH APPLICATION TO COMPARISON OF LINEAR-MODELS
STEPNIAK, C
LINEAR ALGEBRA AND ITS APPLICATIONS, 1985, 70 (OCT) : 67 - 71

← 1 2 3 4 5 →