Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations
- First Online:
- 23 Downloads
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.
Keywordsmodel computable model constructive model autostability index sets
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 2015