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 条

[31] Robustifying Marginal Linear Models for Correlated Responses Using a Constructive Multivariate Huber Distribution
Mohammadi, Raziyeh
Kazemi, Iraj
STATISTICAL ANALYSIS AND DATA MINING-AN ASA DATA SCIENCE JOURNAL, 2025, 18 (01):
[32] ANTISYMMETRIC TENSOR GAUGE-THEORIES AND NON-LINEAR SIGMA-MODELS
FREEDMAN, DZ
TOWNSEND, PK
NUCLEAR PHYSICS B, 1981, 177 (02) : 282 - 296
[33] Anisotropic models with two fluids in linear and quadratic forms of f(T) gravitational theories
Gamal G. L. Nashed
Astrophysics and Space Science, 2015, 357
[34] Anisotropic models with two fluids in linear and quadratic forms of f (T) gravitational theories
Nashed, Gamal G. L.
ASTROPHYSICS AND SPACE SCIENCE, 2015, 357 (02)
[35] THE RELATION BETWEEN LINGUISTIC STRUCTURE AND ASSOCIATIVE THEORIES OF LANGUAGE-LEARNING - A CONSTRUCTIVE CRITIQUE OF SOME CONNECTIONIST LEARNING-MODELS
LACHTER, J
BEVER, TG
COGNITION, 1988, 28 (1-2) : 195 - 247
[36] Curvature-matter couplings in modified gravity: From linear models to conformally invariant theories
Lobo, Francisco S. N.
Harko, Tiberiu
INTERNATIONAL JOURNAL OF MODERN PHYSICS D, 2022, 31 (11):
[37] From 6D superconformal field theories to dynamic gauged linear sigma models
Apruzzi, Fabio
Hassler, Falk
Heckman, Jonathan J.
Melnikov, Ilarion V.
PHYSICAL REVIEW D, 2017, 96 (06)
[38] FINITE-THEORIES OF COMPOSITE GRAVITY FROM FERMIONIC NON-LINEAR SIGMA-MODELS
DADDA, A
PHYSICS LETTERS B, 1985, 152 (1-2) : 63 - 67
[39] VERTEX FUNCTIONS AND GENERALIZED NORMAL-ORDERING BY TRIPLE SYSTEMS IN NON-LINEAR SPINOR FIELD MODELS
Bertfried Fauser
Advances in Applied Clifford Algebras, 2000, 10 (2) : 173 - 192
[40] Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Lucas, Salvador
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (200): : 32 - 47

← 1 2 3 4 5 →