Find link

language:

Find link is a tool written by Edward Betts.

searching for Basis theorem (computability) 5 found (11 total)

alternate case: basis theorem (computability)

Low (computability) (376 words) [view diff] no match in snippet view article

analyzing the proof-theoretic strength of Ramsey's theorem. High (computability) Low Basis Theorem R. Downey, R. A. Shore, Degree Theoretic Definitions of the

Robert I. Soare (171 words) [view diff] no match in snippet view article find links to article

with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory. His doctoral students

Slicing the Truth (768 words) [view diff] no match in snippet view article find links to article

some of the tools needed in this study, including computability theory, forcing, and the low basis theorem. Chapter six, "the real heart of the book", applies

Reverse mathematics (4,781 words) [view diff] no match in snippet view article find links to article

establish a close link between the complexity of a formula and the (non)computability of the set it defines. Another effect of using second-order arithmetic

Ultrafilter on a set (7,366 words) [view diff] no match in snippet view article find links to article

form of the vector basis theorem (which states that every vector space has a basis), (d) the strong form of the vector basis theorem, and other statements