9 found
Order:
  1.  21
    On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370.
  2.  20
    Quantifiers Determined by Partial Orderings.Michal Krynicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):79-86.
  3.  5
    Quantifiers Determined by Partial Orderings.Michal Krynicki - 1990 - Mathematical Logic Quarterly 36 (1):79-86.
  4.  4
    On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
  5.  17
    The Non-Definability Notion and First Order Logic.Michal Krynicki - 1988 - Studia Logica 47 (4):429 - 437.
    The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (6):541-552.
  7.  23
    Remarks on The Cartesian Closure.Lauri Hella & Michal Krynicki - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (33-35):539-545.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  19
    Notion of Interpretation and Nonelementary Languages.Michal Krynicki - 1988 - Mathematical Logic Quarterly 34 (6):541-552.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  16
    Remarks on The Cartesian Closure.Lauri Hella & Michal Krynicki - 1991 - Mathematical Logic Quarterly 37 (33‐35):539-545.