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
关键词
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 条