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


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.


model computable model constructive model autostability index sets 


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