Logic Seminar talk: On a theorem of Gallai and related questions

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 ℤⁿ and every finite subset F⊆ℤⁿ, 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”.