Recursion on the Countable Functionals

by Normann, D.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Recursion on the Countable Functionals / by D. Normann.

Edition Statements

Publication Date:1980.

Publication Statements

Publisher(s):Springer Berlin Heidelberg
Place of Publication:Berlin, Heidelberg
Language:eng
Publication Date:1980.

The Physical Object

Description:1 online resource : : v.: digital

Edition Identifiers

ISBN:9783540100195, 3540100199, 9783540381709, 3540381708
DOI:10.1007/BFb0098600.
oclc:ocn793078628
LC Classification:QA8.9-10.3
Dewey Decimal:511.3

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 Fonctions calculables Functionalen Logic, Symbolic and mathematical Logique symbolique et mathématique mathematics Mathématiques Recursie Recursion theory Rekursionstheorie Théorie de la récursivité