5 found
Order:
  1.  14
    Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31‐32):495-500.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  6
    Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
    We formulate an abstract version of the finite injury method in the form of the Baire category theorem. The theorem has the following corollaries: The Friedberg-Muchnik pair of recursively enumerable degrees, the Sacks splitting theorem, the existence of a minimal degree below 0′ and the Shoenfield jump theorem.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  24
    Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31-32):495-500.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  33
    Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):189-195.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  72
    The combinatorics of the splitting theorem.Kyriakos Kontostathis - 1997 - Journal of Symbolic Logic 62 (1):197-224.