Help on query formulation
On generalised recursions and its dilators. (English)
Math. Educ. 35, No. 3, 181-184 (2001).
Summary: P.G. Hinman and J.Y. Girard developed primitive recursive set functions and its impact on theory of ordinals. We establish here links between recursive dilator and generalised recursions based on $Σ$-definable over admissible sets. We discuss here the consequences of ordinal recursions with suitable application of cut elimination procedure.
Classification: E60 E30 I90 P20
Valid XHTML 1.0 Transitional Valid CSS!