Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
- First Online:
- 53 Downloads
We obtain estimates for the algorithmic complexity of index sets for the class of decidable autostable models and the class of computable models that possess strong constructivizations and are autostable under strong constructivizations.
Unable to display preview. Download preview PDF.