Primitive recursive and polynomial-time structures, punctual computability

Computable topological spaces, and related topics

Algorithmic learning

Equivalence relations, computably enumerable structures, and related topics

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: May 8, 2024.