Projects search

• Keywords: Ramsey's Theorem ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

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

2. 2. Coloring games on graphs and partially ordered sets

   Principal investigator: prof. Jarosław Andrzej Grytczuk

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6

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