|
|||||
|
|
The Computable Dimension of I-Trees of Infinite Height |
|
| Authors: | N T Kogabaev O V Kudinov R Miller |
| Institution: | (1) Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, 4, Novosibirsk, 630090, Russia;(2) Department of Mathematics, Cornell University, Ithaca, NY 14853, USA |
| Abstract: | We study computable trees with distinguished initial subtree (briefly, I-trees). It is proved that all I-trees of infinite height are computably categorical, and moreover, they all have effectively infinite computable dimension. |
| Keywords: | computable tree with distinguished initial subtree computable dimension computably categorical model branching model effectively infinite computable dimension |
| 本文献已被 SpringerLink 等数据库收录！ | |