A semantics and a syntax for ordinal notations and hierarchies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1998

A semantics and a syntax for ordinal notations and hierarchies

Adam Cichon
  • Function : Author
  • PersonId : 835276
François Lamarche
  • Function : Author

Abstract

l'utilisation des hiérarchies de fonctions a été initiée en 1953 par Grzegorczyk. Il propose une stratification des fonctions primitives récursives. Ce résultat peut etre étendu en utilisant des ordinaux ainsi que l'on montré Lob et Wainer. Le fait que le
No file

Dates and versions

inria-00098560 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098560 , version 1

Cite

Guillaume Bonfante, Adam Cichon, François Lamarche. A semantics and a syntax for ordinal notations and hierarchies. [Intern report] 98-R-070 || bonfante98b, 1998, 33 p. ⟨inria-00098560⟩
70 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More