Automatic and polynomial-time structures, punctual computability

Algorithmic learning

Equivalence relations and computably enumerable structures

Theory of numberings

Computable groups

HKSS-Universal classes of structures

Computable embeddings for classes of structures

Bi-embeddable structures

Effective categoricity

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

The theory of lists

Boolean algebras with distinguished endomorphisms

Last updated: April 15, 2021.