Order:
Disambiguations
Karol Habart [5]K. Habart [2]
  1.  12
    Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Mathematical Logic Quarterly 38 (1):423-430.
    A hierarchy of functions with respect to their role as bounds in the Turing reducibility of functions is introduced and studied. This hierarchy leads to a certain notion of incompressibility of sets which is also investigated.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  31
    Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  16
    On Absoluteness.Karol Habart - 1989 - Mathematical Logic Quarterly 35 (5):469-480.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  29
    On Absoluteness.Karol Habart - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):469-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  15
    Bounds in weak truth-table reducibility.Karol Habart - 1991 - Notre Dame Journal of Formal Logic 32 (2):233-241.