Publications

Surveys

Automatic and polynomial-time structures, punctual computability

Algorithmic learning

Equivalence relations, computable reducibility, and computably enumerable structures

The theory of numberings, and related topics

Computable groups

Degree spectra of relations

HKSS-Universal classes of structures

Bi-embeddable structures

Computable embeddings for classes of structures

Effective categoricity

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

Other works on computability theory

The theory of lists

Boolean algebras with distinguished endomorphisms



Publications listed in the reverse chronological order [pdf].

Last updated: November 15, 2022.