A hierarchy of primitive recursive sequence functions

Emanuela Fachini, A. M. (1979). A hierarchy of primitive recursive sequence functions.

Type

Unclassified

Intellectual base

Unclassified

Year

1979

DOI

10.1051/ita/1979130100491

Link

https://doi.org/10.1051/ita/1979130100491

Cited by

1 citation across 1 artifact.

Domain-specific

• Grzegorczyk hierarchy
  • … Functions at low levels include elementary arithmetic behavior, while progressively higher generators eventually dominate every fixed lower-level construction. to A logician normalizes the indexing convention, proves closure and majorization, and only then assigns a function to the least defensible hierarchy level..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:51ab03976a81 · see in the full table