P. Odifreddi: Classical Recursion Theory

Cover: 9780444894830 | Classical Recursion Theory | P. Odifreddi | Taschenbuch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

115,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:

Beschreibung

Recursiveness and Computability. Induction. Systems of Equations. Arithmetical Formal Systems. Turing Machines. Flowcharts. Functions as Rules. Arithmetization. Church's Thesis. Basic Recursion Theory. Partial Recursive Functions. Diagonalization. Partial Recursive Functionals. Effective Operations. Indices and Enumerations. Retraceable and Regressive Sets. Post's Problem and Strong Reducibilities. Post's Problem. Simple Sets and Many-One Degrees. Hypersimple Sets and Truth-Table Degrees. Hyperhypersimple Sets and Q-Degrees. A Solution to Post's Problem. Creative Sets and Completeness. Recursive Isomorphism Types. Variations of Truth-Table Reducibility. The World of Complete Sets. Formal Systems and R.E. Sets. Hierarchies and Weak Reducibilities. The Arithmetical Hierarchy. The Analytical Hierarchy. The Set-Theoretical Hierarchy. The Constructible Hierarchy. Turing Degrees. The Language of Degree Theory. The Finite Extension Method. Baire Category. The Coinfinite Extension Method. The Tree Method. Initial Segments. Global Properties. Degree Theory with Jump. Many-One and Other Degrees. Distributivity. Countable Initial Segments. Uncountable Initial Segments. Global Properties. Comparison of Degree Theories. Structure Inside Degrees. Bibliography. Index.

Details

Erscheinungsjahr:	1992
Medium:	Taschenbuch
Reihe:	Studies in Logic and the Foundations of Mathematics\|Studies in Logic and the Found
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9780444894830
ISBN-10:	0444894837
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	P. Odifreddi
Redaktion:	Van Der Hoek, Bas
Auflage:	Revised.
Hersteller:	Elsevier Science
Verantwortliche Person für die EU:	preigu GmbH & Co. KG, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	234 x 156 x 35 mm
Von/Mit:	P. Odifreddi
Erscheinungsdatum:	04.02.1992
Gewicht:	1,05 kg