Boldface recursion on Platek spaces

• Autorzy: Ivanov, L.
• Języki publikacji: EN

Abstrakty

EN

The present work develops a boldface version of the theory of Platek spaces initiated. This is done by studying recursion on spaces with special elements which embody the so called transfer operation, Chapter 14 affording full lambda-abstraction. Transfer is characteristic of the monotonic hierarchies of operative spaces, which hierarchies form models of a typed lambda-mu-calculus. The principal result here is a boldface version of the abstract Platek First Recursion Theorem; we prove appropriate boldface Enumeration and Second Recursion Theorems as well.

Słowa kluczowe

EN

generalised recursion theory; computability; boldface recursion; combinatory algebras; Platek spaces

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 44, Nr 1,2
• Strony: 183-208
• Opis fizyczny: bibliogr. 10 poz.

Twórcy

autor

Ivanov, L.

• Institute of Mathematics and Informatics, Bl. 8, Akademik Georgi Bonchev Street, 1113 Sofia, Bulgaria