Recursion Theory: Lecture Notes in Logic 1

ISBN-13: 9781568811499 / Angielski / Miękka / 2001 / 96 str.

Joseph R. Shoenfield

Opis

Lecture Notes in Logic.

Spis treści

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

O autorze

Joseph R. Shoenfield