On Maximal Subalgebras of the Algebras of Unary Recursive Functions

摘要

Under consideration are the algebras of unary functions with supports in countable primitively recursively closed classes and composition operation. Each algebra of this type is proved to have continuum many maximal subalgebras including the set of all unary functions of the class ε~2 of the Grzegorczyk hierarchy.