Downey R.; Harrison-Trainor M.; Kalimullin I.; Melnikov A.; Turetsky D.
(2020)
© 2020 Elsevier Inc. We show that structures with only one binary function symbol are universal for “online” (punctual) computable structures. In contrast, we give a description of punctually categorical graphs which implies ...