Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations
- First Online:
- 33 Downloads
We estimate algorithmic complexity of the class of computable models of finite and graph signatures 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