P.R.-Regulated Systems of Notation and the Subrecursive Hierarchy Equivalence Property
From MaRDI portal
Publication:4140975
Cites work
- scientific article; zbMATH DE number 3083488 (Why is no real title available?)
- A classification of the ordinal recursive functions
- Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie
- Classifications of Recursive Functions by Means of Hierarchies
- Eine Klassifikation der ε0‐Rekursiven Funktionen
- Extension of an effectively generated class of functions by enumeration
- Hierarchies of number-theoretic functions II
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- On a Subrecursive Hierarchy and Primitive Recursive Degrees
- On notation for ordinal numbers
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
- Systems of predicative analysis, II: Representations of ordinals
Cited in
(4)
This page was built for publication: P.R.-Regulated Systems of Notation and the Subrecursive Hierarchy Equivalence Property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4140975)