A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. 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 ex...
| Main Authors: | , , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
Cambridge University Press (CUP)
2018
|
| Online Access: | http://hdl.handle.net/1721.1/116051 https://orcid.org/0000-0002-8593-2792 |