Computability and Models
Subtitle: Perspectives East and West (University Series in Mathematics)
Contributors: S. Barry Cooper (Editor); Sergei S. Goncharov (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 31, 2003
Language: eng
Format: Hardcover
Number of pages: 388
ISBN-13: 9780306474002
Subjects: Mathematical logic; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Science/Mathematics; Logic; Mathematics / Logic; Recursion theory
First sentence: There exist two kinds of completeness criteria for computably enumerable (c.e.) sets for several reducibilities.