Switch to: References

Add citations

You must login to add citations.
  1. There is no classification of the decidably presentable structures.Matthew Harrison-Trainor - 2018 - Journal of Mathematical Logic 18 (2):1850010.
    A computable structure [Formula: see text] is decidable if, given a formula [Formula: see text] of elementary first-order logic, and a tuple [Formula: see text], we have a decision procedure to decide whether [Formula: see text] holds of [Formula: see text]. We show that there is no reasonable classification of the decidably presentable structures. Formally, we show that the index set of the computable structures with decidable presentations is [Formula: see text]-complete. We also show that for each [Formula: see text] (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation