The number of computable indexations of finite classes of constructive models
In this paper we show that a computable class with finitely many constructive models can have either a unique computable indexation (up to equivalence) or infinitely many of them.
scientific article; zbMATH DE number 4016879