Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations

被引：7

作者：

Goncharov, S. S. ^{[1
,2
]}

Marchuk, M. I. ^{[1
]}

机构：

[1] Sobolev Inst Math, Novosibirsk 630090, Russia

[2] Novosibirsk State Univ, Novosibirsk 630090, Russia

来源：

ALGEBRA AND LOGIC | 2015年 / 54卷 / 02期

关键词：

model; computable model; constructive model; autostability; index sets;

D O I：

10.1007/s10469-015-9331-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We evaluate algorithmic complexity of the class of computable models of bounded signature that have a strong constructivization and are autostable relative to strong constructivizations.

引用

页码：108 / 126

页数：19

共 18 条

[11] Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
Goncharov S.S.
Bazhenov N.A.
Marchuk M.I.
[J]. Journal of Mathematical Sciences, 2017, 221 (6) : 840 - 848
[12] The index set of Boolean algebras autostable relative to strong constructivizations
Goncharov, S. S.
Bazhenov, N. A.
Marchuk, M. I.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2015, 56 (03) : 393 - 404
[13] The index set of Boolean algebras autostable relative to strong constructivizations
S. S. Goncharov
N. A. Bazhenov
M. I. Marchuk
[J]. Siberian Mathematical Journal, 2015, 56 : 393 - 404
[14] Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations
M. I. Marchuk
[J]. Algebra and Logic, 2016, 55 : 306 - 314
[15] Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations
Marchuk, M. I.
[J]. ALGEBRA AND LOGIC, 2016, 55 (04) : 306 - 314
[16] On autostability of almost prime models relative to strong constructivizations
Goncharov, S. S.
[J]. RUSSIAN MATHEMATICAL SURVEYS, 2010, 65 (05) : 901 - 935
[17] Index sets of almost prime constructive models
Goncharov S.S.
[J]. Journal of Mathematical Sciences, 2015, 205 (3) : 355 - 367
[18] Heavy sets and index bounded relative symplectic cohomology
Sun, Yuhan
[J]. JOURNAL OF FIXED POINT THEORY AND APPLICATIONS, 2024, 26 (02)

← 1 2 →