Computability, Enumerability, Unsolvability: Directions in by S. B. Cooper, T. A. Slaman, S. S. Wainer PDF

By S. B. Cooper, T. A. Slaman, S. S. Wainer

ISBN-10: 0521557364

ISBN-13: 9780521557368

The basic principles pertaining to computation and recursion certainly locate their position on the interface among common sense and theoretical desktop technology. The contributions during this booklet offer an image of present principles and techniques within the ongoing investigations into the constitution of the computable and noncomputable universe. the various articles include introductory and heritage fabric that might make the amount a useful source for mathematicians and computing device scientists.

Show description

Read Online or Download Computability, Enumerability, Unsolvability: Directions in Recursion Theory PDF

Similar combinatorics books

Commutative Algebra: Geometric, Homological, Combinatorial, by Alberto Corso, Philippe Gimenez, Maria Vaz Pinto, Santiago PDF

Full of contributions from foreign specialists, Commutative Algebra: Geometric, Homological, Combinatorial, and Computational points good points new study effects that borrow equipment from neighboring fields akin to combinatorics, homological algebra, polyhedral geometry, symbolic computation, and topology.

Recursion Theory, its Generalisations and Applications by F. R. Drake, S. S. Wainer PDF

Recursion idea - now a well-established department of natural arithmetic, having grown swiftly over the past 35 years - bargains with the final (abstract) thought of these operations which we conceive as being `computable' by way of idealized machines. the speculation grew out of, and is mostly nonetheless looked, as a department of mathematical common sense.

Download e-book for iPad: Geometry — Intuitive, Discrete, and Convex: A Tribute to by Imre Bárány, Károly Jr. Böröczky, Gábor Fejes Tóth, Janos

The current quantity is a suite of a dozen survey articles, devoted to the reminiscence of the well-known Hungarian geometer, László Fejes Tóth, at the 99th anniversary of his start. every one article studies fresh development in an immense box in intuitive, discrete, and convex geometry. The mathematical paintings and views of all editors and such a lot individuals of this quantity have been deeply encouraged via László Fejes Tóth.

Additional resources for Computability, Enumerability, Unsolvability: Directions in Recursion Theory

Example text

P. v. classes with diagonals in E. The latter was proved first by Fenner [Fe95]. 19 (Fenner [Fe95]). Let C be an r. p. and c. f. v. class such that E is not contained in C. There is a recursive function s and a k > 1 such that no (Et, s)-nt`-generic set is in C. So C is (Et, s)-p-meager, hence (Et, s) -meager in E. Proof. By assumption, there is a k > 1 and a set B E DTIME(2kn) such that B V C. 2 , there is a nondecreasing, time constructible function g such that every set which is g-similar to B does not belong to C.

His concept is defined in terms of (a new type of) extension functions, not on condition sets, but it can be easily reformulated in terms of the latter (as, conversely, our concept can be rephrased in the terms of Fenner's new extension function concept). The main difference between both concepts is, that Fenner admits only totally defined extension functions, whence his concept relates to E-category like F-category relates to G-category. 7 Extended s-bounded total category (or (Et, s) -category for short) is the category concept D = < D(t) : t recursive> where D(t) = {Dc : C is a total s-bounded t(n)-condition}.

A is [G, S] -p-generic 2. A is [G, k] -p-generic (k > 1) 3. A is [G, w] -p-generic If, moreover, A is recursive then the following are equivalent to the above too: 4. A is [G,,,, S]-p-generic 5. A is [G,,,, k]-p-generic (k > 1) 6. A is [G,,,,W]-p-generic. 13 fails if we consider nonrecursive sets. 10, [G,,,,* ]-p-genericity and [G,* ]-p-genericity (*E IS, k, w}) differ on the nonrecursive sets. 8 (b), we can prove the following weak hierarchy theorem for constant-size G genericity: For k > 1, there is a (nonrecursive) [G,,,, k]-p-generic set A which is not [G,,,, k + 1]-p-generic.

Download PDF sample

Computability, Enumerability, Unsolvability: Directions in Recursion Theory by S. B. Cooper, T. A. Slaman, S. S. Wainer


by Ronald
4.5

Rated 4.54 of 5 – based on 16 votes