Primitive recursive and polynomial-time structures, punctual computability

Computable metric spaces

Algorithmic learning

Equivalence relations, computable reducibility, and computably enumerable structures

The theory of numberings, and related topics

Degree spectra of relations

Computable groups

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: January 31, 2024.