P.R.-Regulated Systems of Notation and the Subrecursive Hierarchy Equivalence Property

DOI10.2307/1997995zbMath0366.02032OpenAlexW4233979923MaRDI QIDQ4140975

Fred Zemke

Publication date: 1977

Full work available at URL: https://doi.org/10.2307/1997995

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Ordinal and cardinal numbers (03E10) Hierarchies of computability and definability (03D55)

Related Items

Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones, A Uniform Approach to Fundamental Sequences and Hierarchies, Dimension theory, Fast growing functions based on Ramsey theorems

Cites Work

• Unnamed Item
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Extension of an effectively generated class of functions by enumeration
• On a Subrecursive Hierarchy and Primitive Recursive Degrees
• Classifications of Recursive Functions by Means of Hierarchies
• Systems of predicative analysis, II: Representations of ordinals
• Hierarchies of number-theoretic functions II
• A classification of the ordinal recursive functions
• Eine Klassifikation der ε₀‐Rekursiven Funktionen
• Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie
• Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
• On notation for ordinal numbers