•  
    • Preprints

       
      Select  
      Year: Investigators  
       

      Recent 5

    IM-2018-55   
    Registered: 8.11.2018
    Jeřábek Emil
    Rigid models of Presburger arithmetic

    IM-2018-47   
    Registered: 1.10.2018
    Jeřábek Emil
    Induction rules in bounded arithmetic

    IM-2018-46   
    Registered: 1.10.2018
    Akbar Tabatabai Amirhossein, Jalali Keshavarz Raheleh
    Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation

    IM-2018-45   
    Registered: 1.10.2018
    Akbar Tabatabai Amirhossein, Jalali Keshavarz Raheleh
    Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

    IM-2018-14  Rescricted access 
    Registered: 3.4.2018
    Jeřábek Emil
    Rigid models of Presburger arithmetic

  •