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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Degree Spectra of Real Closed Fields.Russell Miller & Victor Ocasio González - 2019 - Archive for Mathematical Logic 58 (3-4):387-411.
    Several researchers have recently established that for every Turing degree \, the real closed field of all \-computable real numbers has spectrum \. We investigate the spectra of real closed fields further, focusing first on subfields of the field \ of computable real numbers, then on archimedean real closed fields more generally, and finally on non-archimedean real closed fields. For each noncomputable, computably enumerable set C, we produce a real closed C-computable subfield of \ with no computable copy. Then we (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark