Advertisement

Siberian Mathematical Journal

, Volume 49, Issue 2, pp 191–201 | Cite as

A generalized Feiner hierarchy

  • P. E. AlaevEmail author
Article
  • 14 Downloads

Abstract

We study some properties of a generalization of the Feiner hierarchy of Δ ω 0 -computable functions and consider various conditions for the inclusion of one class of this hierarchy into another.

Keywords

Feiner hierarchy computable function generalized computability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alaev P. E., “Computable homogeneous Boolean algebras and a metatheorem,” Algebra and Logic, 43, No. 2, 73–87 (2004).CrossRefMathSciNetGoogle Scholar
  2. 2.
    Feiner L., “Hierarchies of Boolean algebras,” J. Symbolic Logic, 35, No. 3, 365–374 (1970).CrossRefMathSciNetGoogle Scholar
  3. 3.
    Rogers H., Theory of Recursive Functions and Effective Computability [Russian translation], Mir, Moscow (1972).zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, Inc. 2008

Authors and Affiliations

  1. 1.Sobolev Institute of MathematicsNovosibirskRussia

Personalised recommendations