Platek spaces

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

Abstrakty

EN

The aim of this work is to axiomatize and enhance the recursion theory on monotonic hierarchies of operative spaces developed. This is to be accomplished by employing a special new variety of operative spaces called Platek spaces. The original structure studied by Platek in corresponds to the particular Platek space with structural class O = w and a bottom operative space consisting of single-valued partial functions over an arbitrary domain (Example 1.1 below). We believe that Platek spaces not only redefine Platek's approach in an abstract manner, but also provide the appropriate setting for an intrinsic Generalized Recursion Theory.

Słowa kluczowe

EN

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

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 44, Nr 1,2
• Strony: 145--181
• Opis fizyczny: bibliogr. 11 poz.

Twórcy

autor

Ivanov L.

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