The Computability Menagerieabout
0 selected View proofs View subgraph Exclude selected Deselect All Display open implications Help Key
bounds no weak 2-generic bounds no 2-generic not almost everywhere dominating incomplete bounds no 1-random bounds no 2-random not PA low not high Delta_2 bounds only GL_1 not PA in 0' bounds no nonzero Delta_2 low for Kurtz random not DNC bounds no density-one hyperimmune- free bounds no nonzero HIF degree not DNC in 0' bounds no shift- complex low for Omega array computable bounds no nonzero low for Omega bounded by a 3-random bounded by a 2-random bounds no minimal degree bounds only GL_2 jump traceable c.e. traceable computably traceable finite self- information low for random superlow bounds no 3-generic bounded by a 1-generic bi-immune free bounds no 1-generic minimal or computable bounded by a 2-generic