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