Description
Recursion Theory
Lecture Notes in Logic 1
Author: Shoenfield Joseph R.
Language: EnglishSubject for Recursion Theory:
Keywords
Normal Form Theorem; recursive; Recursion Theory; function; Capital Latin Letters; total; Existential Quantifier; functions; Rigorous Mathematical Definition; basic; Binary Relation Symbol; machine; Lower Case Greek Letters; normal; Church’s Thesis; form; Arithmetical Hierarchy; theorem; Recursion Theorem; churchs; Recursive Function; Joseph R; Shoenfield; Holds; Total Function; Basic Machine; Set A; Program Holder; Recursive Set; Computable Function; Follow; Inductive Definition; Bounded Quantifiers; Explicit Definitions; Universal Quantifier; Real Quantifier; Register Ri
Publication date: 08-2017
· 15.6x23.4 cm · Hardback
Publication date: 02-2001
88 p. · 15.6x23.4 cm · Paperback
Description
/li>Contents
/li>Biography
/li>
Computability; Functions and Relations; The Basic Machine; Macros; Closure Properties; Definitions of Recursive Functions; Codes; Indices; Church's Thesis; Word Problems; Undecidable Theories; Relative Recursion; The Arithmetical Hierarchy; Recursively Enumerable Relations; Degrees; Evaluation of Degrees; Large RE Sets; Functions of Reals; The Analytical Hierarchy; The Projective Hierarchy