Browsing by Subject "computable model theory"

Sort by: Order: Results:

  • Frolov A.; Kalimullin I.; Harizanov V.; Kudinov O.; Miller R. (2012)
    We survey known results on spectra of structures and on spectra of relations on computable structures, asking when the set of all highn degrees can be such a spectrum, and likewise for the set of non-low n degrees. We then ...

Search DSpace

Browse

My Account