Effective categoricity

Effective categoricity for decidable structures (autostability relative to strong constructivizations)

Theory of numberings

Equivalence relations and computably enumerable structures

Turing computable embeddings

  • Turing computable embeddings, computable infinitary equivalence, and linear orders [pdf download], in Proceedings of CiE-2017 (Lect. Notes Comput. Sci., 10307), 141-151. The final publication is available at Springer via

Automatic structures

Boolean algebras with distinguished endomorphisms

Last updated: November 23, 2018.