Computable classes of constructivizations of 2-constructivizable models

被引：0

作者：

Podzorov S.Yu. ^{[1
]}

机构：

来源：

Algebra and Logic | 1999年 / 38卷 / 6期

关键词：

Natural Number; Free Variable; Recursive Function; Finite Sequence; Limit Representation;

D O I：

10.1007/BF02671735

中图分类号：

学科分类号：

摘要：

It is known that a class of constructivizations of a nonautostable 2-constructivizable model is infinite. Whether that class is effectively infinite or at least noncomputable is still not known, though there are grounds to believe that it is effectively infinite. Here, we argue for the effective infinity of a class of constructivizations of a nonautostable 2-constructivizable model which is not 1-prime in any finite enrichment by constants. © 1999 Kluwer Academic/Plenum Publishers.

引用

页码：383 / 396

页数：13

共 50 条

[1] COMPUTABLE CLASSES OF CONSTRUCTIVIZATIONS FOR MODELS OF FINITE COMPUTABILITY TYPE
GONCHAROV, SS
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1993, 34 (05) : 812 - 824
[2] Estimation of the algorithmic complexity of classes of computable models
Pavlovskii, E. N.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2008, 49 (03) : 512 - 523
[3] Estimation of the algorithmic complexity of classes of computable models
E. N. Pavlovskii
[J]. Siberian Mathematical Journal, 2008, 49 : 512 - 523
[4] Index sets of autostable relative to strong constructivizations constructive models for familiar classes
S. S. Goncharov
N. A. Bazhenov
M. I. Marchuk
[J]. Doklady Mathematics, 2015, 92 : 525 - 527
[5] Index sets of autostable relative to strong constructivizations constructive models for familiar classes
Goncharov, S. S.
Bazhenov, N. A.
Marchuk, M. I.
[J]. DOKLADY MATHEMATICS, 2015, 92 (02) : 525 - 527
[6] THE NUMBER OF COMPUTABLE INDEXATIONS OF FINITE CLASSES OF CONSTRUCTIVE MODELS
DOBRITSA, VP
[J]. MATHEMATICAL NOTES, 1986, 40 (1-2) : 551 - 553
[7] autostability of prime models under strong constructivizations
S. S. Goncharov
[J]. Algebra and Logic, 2009, 48 : 410 - 417
[8] COMPUTABLE CLASSES OF CONSTRUCTIVE MODELS WITH NON-LIMIT-EQUIVALENT INDEXATIONS
DOBRITSA, VP
[J]. MATHEMATICAL NOTES, 1989, 46 (3-4) : 758 - 761
[9] CLASSES OF COMPLEXITY AND CLASSES OF SIGNALING COMPUTABLE FUNCTIONS
MATROSOV, VL
[J]. DOKLADY AKADEMII NAUK SSSR, 1976, 226 (03): : 513 - 515
[10] CONSTRUCTIVIZABLE MODELS WITH A LINEAR STRUCTURE OF ALGEBRAIC REDUCIBILITY
FEDORYAEV, ST
[J]. MATHEMATICAL NOTES, 1990, 48 (5-6) : 1245 - 1249

← 1 2 3 4 5 →