Logical Methods in Combinatorics

Our research project is focused on the interplays between mathematical logic and combinatorics. The connections between these two areas have historically been fundamental for many of their developments; arguably, the most famous exemplification of this fact is Ramsey's Theorem.