In the paper 2 theorems are proved:
There is an uncountably categorical but not countably categorical theory of an arbitrary given arithmetical complexity with a computable model. All countable models of this theory are computable.
There is a countably categorical theory of an arbitrary given arithmetical complexity with a computable model.
В статье доказываются две теоремы:
Существует несчетно категоричная, но не счетно категоричная теория произвольной заданной арифметической сложности, имеющая вычислимую модель. Более того, все счетные модели этой теории вычислимы.
Существует счетно категоричная теория произвольной заданной арифметической степени с вычислимой моделью.