Showing 1 - 2 results of 2 for search '"computable model theory"', query time: 0.06s Refine Results
  1. 1

    A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS by SHLAPENTOKH, ALEXANDRA, Miller, Russell, Schoutens, Hans, Schoustens, Hans, Shlapentokh, Alexandra, Poonen, Bjorn

    Published 2018
    “…We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F of arbitrary characteristic with the same essential computable-model-theoretic properties as. …”
    Get full text
    Get full text
    Article
  2. 2