On October 20, 2022 at 14:00 EEST, Mihai Prunescu (University of Bucharest & IMAR) will give a talk in the Logic Seminar.
Title: On a theorem of Gallai and related questions
Abstract: A theorem was stated by Tibor Gallai without proof and was later proven by several authors, in particular E. Witt or R. Rado. The theorem says that for every k-coloring of ℤn and every finite subset F⊆ℤn, there exists a homothetic image of F which is monochrome. This fact suggests various ultimately unsolvable sequences of SAT instances.
The talk will take place physically at FMI Hall 214 “Google”.