Projects search

• Principal investigator: Leszek Aleksander Kołodziejczyk ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Between proof theory, reverse mathematics, and the model theory of arithmetic

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 25, 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

3. 3. 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