Projects search

• Keywords: bounded arithmetic ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Induction for bounded formulas and its relativizations

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 5, Panel: ST1

2. 2. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 14, Panel: ST1