RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1993 Volume 34, Number 5, Pages 23–37 (Mi smj829)

This article is cited in 5 papers

Computable classes of constructivizations for models of finite computability type

S. S. Goncharov


Abstract: Computable classes of weak constructivizations are studied for models admitting strong constructivizations. We prove that for strongly constnictivizable models $n$-complete in some finite expansion with constants but $(n+1)$-complete in any expansion with constants, it is possible, given an arbitraty class of constructivizations, to construct effectively a constructivization beyond the class which is not an $(n+1)$-constructivization, i.e., whose $(n+1)$-restricted theory is not decidable in any expansion with constants for indices.

UDC: 517.15

Received: 16.03.1993


 English version:
Siberian Mathematical Journal, 1993, 34:5, 812–824

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026