Recursion on the countable functionals

by Normann, Dag

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Recursion on the countable functionals / Dag Normann.

Edition Statements

Publication Date:1980.

Publication Statements

Publisher(s):Springer-Verlag
Place of Publication:Berlin
Language:eng
Publication Date:1980.

The Physical Object

Description:1 online resource (viii, 190 pages)

Edition Identifiers

ISBN:9783540381709, 3540381708
oclc:ocn297490773
LC Classification:QA3
Dewey Decimal:511.35

The maximal type structure -- The countable functionals -- Ct(n) as a topological space -- Computability vs recursion -- The computable structure on Ct(k) -- Sections -- Some further results and topics.

Subjects

Berechenbare Funktion Computable functions Fonctionnelles Fonctions calculables Functionalen FUNCTIONALS Recursie Recursion theory Rekursionstheorie Théorie de la récursivité