Computable bi-embeddable categoricity
scientific article; zbMATH DE number 7035681
scientific article