 |
|
What people are saying - Write a reviewReview: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated SetsUser Review - Joecolelife - GoodreadsThis book provides an enlightening vision about the basis of mathematics exploring such abstract topics as the paradoxes of set theory, transfinite numbers, and much more. I used this book as a ... Read full review Review: Recursively Enumberable Sets and DegreesUser Review - Joecolelife - GoodreadsToday the interconnections on these areas, that were initially very close, are dangerously disappearing. Kleene's book, having been written before this separation, is much more comprehensive than the ... Read full review Related booksContents
Other editions - View all
Common terms and phrases1:1 recursive function A-recursive arithmetical hierarchy As+i assume atomless automorphism basic module Boolean algebra Chapter characteristic function choose the least coinfinite r.e. set computation Corollary define the recursive Definition deg(A denote disjoint e-state elements end of stage Exercise finite sets function f Hence hh-simple high r.e. Hint hypersimple hypothesis index sets induction infinite injury Jockusch Lachlan lattice Lemma liminf lims low r.e. marker maximal sets minimal pair node nonrecursive r.e. set Note otherwise p.r. function partial function partial recursive function Post's Post's problem primitive recursive proof of Theorem Prove r-maximal r.e. degrees Recursion Theorem recursive enumeration recursive sets relativized restraint function s-m-n Theorem Sacks satisfied Soare Splitting Theorem Step strategy subset superset Theorem 3.1 tree Turing Turing degrees Vn n€w We,s Yates Popular passagesPage 402 - Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959), 1-52. References to this bookFrom other books
From Google ScholarSome notes on Church's thesis and the theory of gamesLuca Anderlini - 1990 - Theory and Decision Computational Models for Generic Cortical MicrocircuitsWolfgang Maass, Thomas Natschlager, Henry Markram, Lausanne EPFL Arrow's Theorem and Turing computabilityH Reiju Mihara - 1997 - Economic Theory Arrow’s Theorem, countably many agents, and more visible invisible ...H Reiju Mihara - 1999 - Journal of Mathematical Economics References from web pagesnoomanic's Shelf of 9205 Books - Shelfari Bibliographic information
|
