Index Sets of Almost Prime Constructive Models
We study complexity of index sets of strongly constructive almost prime models, almost prime constructive models, and almost prime with strong constructivizations Bibliography: 14 titles.
KeywordsComputable Model Prime Model Algorithmic Complexity Constructive Model Graph Signature
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- 2.A. T. Nurtazin, “Computable Classes and Algebraic Autostability Criteria” [in Russian], Thesis, Alma-Ata (1974).Google Scholar
- 3.S. S. Goncharov and Yu. L. Ershov, Constructive Models [in Russian], Nauchnaya kniga (IDMI), Novosibirsk (1999); English transl.: Kluwer Academic/Plenum Press, New York (2002).Google Scholar
- 5.S. S. Goncharov, “Computability and computable models, mathematical problems from applied logic. II,” In: Logics for the XXIst Century, pp. 99–216, Springer, New York (2006).Google Scholar
- 12.Yu. L. Ershov and E. A. Palyutin, Matematical Logic [in Russian], Nauka, Moscow (1987).Google Scholar
© Springer Science+Business Media New York 2015