Switch to: References

Add citations

You must login to add citations.
  1. Coding in the automorphism group of a computably categorical structure.Dan Turetsky - 2020 - Journal of Mathematical Logic 20 (3):2050016.
    Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimullin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Finite computable dimension and degrees of categoricity.Barbara F. Csima & Jonathan Stephenson - 2019 - Annals of Pure and Applied Logic 170 (1):58-94.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Degrees of categoricity of trees and the isomorphism problem.Mohammad Assem Mahmoud - 2019 - Mathematical Logic Quarterly 65 (3):293-304.
    In this paper, we show that for any computable ordinal α, there exists a computable tree of rank with strong degree of categoricity if α is finite, and with strong degree of categoricity if α is infinite. In fact, these are the greatest possible degrees of categoricity for such trees. For a computable limit ordinal α, we show that there is a computable tree of rank α with strong degree of categoricity (which equals ). It follows from our proofs that, (...)
    Download  
     
    Export citation  
     
    Bookmark