On maximal subalgebras of the algebras of unary recursive functions

Sergey Seraphimovich Marchenkov · Journal of Applied and Industrial Mathematics · 2016

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.

Read the paper · More papers on PaperTik