Order:
  1.  33
    Independent Gödel Sentences and Independent Sets.A. M. Dawes & J. B. Florence - 1975 - Journal of Symbolic Logic 40 (2):159-166.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2.  24
    End Extensions Which Are Models of a Given Theory.A. M. Dawes - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (27-30):463-467.
  3.  17
    End Extensions Which Are Models of a Given Theory.A. M. Dawes - 1976 - Mathematical Logic Quarterly 23 (27‐30):463-467.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  16
    Splitting Theorems for Speed-Up Related to Order of Enumeration.A. M. Dawes - 1982 - Journal of Symbolic Logic 47 (1):1-7.
    It is known from work of P. Young that there are recursively enumerable sets which have optimal orders for enumeration, and also that there are sets which fail to have such orders in a strong sense. It is shown that both these properties are widespread in the class of recursively enumerable sets. In fact, any infinite recursively enumerable set can be split into two sets each of which has the property under consideration. A corollary to this result is that there (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark