Degrees of Categoricity of Rigid Structures

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10307)

Abstract

We prove that there exists a properly 2-c.e. Turing degree \(\mathbf{d}\) which cannot be a degree of categoricity of a rigid structure.

Keywords

Categoricity spectrum Strong degree of categoricity Rigid structure 2-c.e. Turing degrees 

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Sobolev Institute of MathematicsNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia
  3. 3.Kazan (Volga Region) Federal UniversityKazanRussia

Personalised recommendations