Students session
List of contributed talks by present and past MATHLOGAPS fellows:
- Paul Baginski, Stable \aleph_0-categorical Algebraic Structures.
- Ricado de Aldama, On Groups and NIP
- Juergen Landes, Maths isn’t fun! Or is it?!?
- Tin Lok, Generic Cuts in Models of Peano Arithmetic
- Maryanthe Mallaris, The Parameter Space of an Unstable Formula
- Ioana Pasca, Formal Proofs in Coq: Kantorovitch’s Theorem
- Diana Ratiu, The Computational Contribution of the Infinite Pigeon-Hole Principle in Ramsey’s Theorem
- Adam Trybus, On some Open Problems in First Order Mereotopology
- Nick Vaporis, Extension Property and the Visser Rules