Switch to: Citations

Add references

You must login to add references.
  1. Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
    We are concerned here with recursive function theory analogs of certain problems in chromatic graph theory. The motivating question for our work is: Does there exist a recursive (countably infinite) planar graph with no recursive 4-coloring? We obtain the following results: There is a 3-colorable, recursive planar graph which, for all k, has no recursive k-coloring; every decidable graph of genus p ≥ 0 has a recursive 2(χ(p) - 1)-coloring, where χ(p) is the least number of colors which will suffice (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Nonrecursive tilings of the plane. II.Dale Myers - 1974 - Journal of Symbolic Logic 39 (2):286-294.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Π10 classes and Boolean combinations of recursively enumerable sets.Carl G. Jockusch - 1974 - Journal of Symbolic Logic 39 (1):95-96.
    Download  
     
    Export citation  
     
    Bookmark   3 citations