Zusammenfassung
Wir werden den Satz im Rest dieses Abschnitts beweisen. Funktionen, die wie in Satz 16.1 aufgebaut sind, nennen wir *-rekursiv. Wenn wir zeigen können, daß die Klasse der *-rekursiven Funktionen abgeschlossen ist unter primitiver Rekursion (Regel R2), sind wir fertig.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Birkhäuser / Springer Basel AG
About this chapter
Cite this chapter
Ziegler, M. (2010). Ein anderer Aufbau der rekursiven Funktionen. In: Mathematische Logik. Mathematik Kompakt, vol 0. Birkhäuser Basel. https://doi.org/10.1007/978-3-0346-0652-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-0346-0652-3_16
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-9973-3
Online ISBN: 978-3-0346-0652-3
eBook Packages: Life Science and Basic Disciplines (German Language)