𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An iterative description of the class ξ′ of Grzegorczyk's hierarchy

✍ Scribed by A. P. Bel'tyukov


Publisher
Springer US
Year
1980
Tongue
English
Weight
488 KB
Volume
14
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Characterization of the Relations in Grz
✍ Jean-Sylvestre Gakwaya 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 264 KB

## Abstract In his 1953's paper, Grzegorczyk proved that a certain kind of relation classes of Grzegorczyk's hierarchy could be characterized inductively. We give a simpler version of this characterization.