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 ε² of the Grzegorczyk hierarchy.