Algebra and Logic

, Volume 54, Issue 6, pp 428–439

Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations

Article

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.

Keywords

model computable model constructive model autostability index sets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  1. 1.Sobolev Institute of MathematicsNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations