Switch to: Citations

Add references

You must login to add references.
  1. An Introduction to Proof Theory.Samuel R. Buss - 2000 - Bulletin of Symbolic Logic 6 (4):464-465.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • A jump operator on honest subrecursive degrees.Lars Kristiansen - 1998 - Archive for Mathematical Logic 37 (2):105-125.
    It is well known that the structure of honest elementary degrees is a lattice with rather strong density properties. Let $\mbox{\bf a} \cup \mbox{\bf b}$ and $\mbox{\bf a} \cap \mbox{\bf b}$ denote respectively the join and the meet of the degrees $\mbox{\bf a}$ and $\mbox{\bf b}$ . This paper introduces a jump operator ( $\cdot'$ ) on the honest elementary degrees and defines canonical degrees $\mbox{\bf 0},\mbox{\bf 0}', \mbox{\bf 0}^{\prime \prime },\ldots$ and low and high degrees analogous to the corresponding (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Streamlined subrecursive degree theory.Lars Kristiansen, Jan-Christoph Schlage-Puchta & Andreas Weiermann - 2012 - Annals of Pure and Applied Logic 163 (6):698-716.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Hierarchies of Provably Recursive Functions.Matt Fairtlough & Stanley S. Wainer - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Extension of an Effectively Generated Class of Functions by Enumeration.S. C. Kleene - 1960 - Journal of Symbolic Logic 25 (3):279-280.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On a Subrecursive Hierarchy and Primitive Recursive Degrees.Paul Axt - 1960 - Journal of Symbolic Logic 25 (2):167-168.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Subsystems of Set Theory and Second-Order Number Theory.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.
    Download  
     
    Export citation  
     
    Bookmark   12 citations