Switch to: Citations

Add references

You must login to add references.
  1. Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
    Cenzer, D., R. Downey, C. Jockusch and R.A. Shore, Countable thin Π01 classes, Annals of Pure and Applied Logic 59 79–139. A Π01 class P {0, 1}ω is thin if every Π01 subclass of P is the intersection of P with some clopen set. Countable thin Π01 classes are constructed having arbitrary recursive Cantor- Bendixson rank. A thin Π01 class P is constructed with a unique nonisolated point A and furthermore A is of degree 0’. It is shown that no (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Deduction-preserving ‘Recursive Isomorphisms’ between Theories.Marian Boykan Pour-El & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
    Download  
     
    Export citation  
     
    Bookmark   3 citations