Omer Keshet:
A Proof of the Halpern-Läuchli Partition Theorem without Metamathematical Argumentation
Zeit und Ort
Dienstag, 24.1.23, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Zusammenfassung
The Halpern-Läuchli Theorem is a fundamental Ramsey type principle concerning partitions of finite products of trees. Historically the proof of the theorem was given using meta-mathematical reasoning. We will show a direct proof given by S.A Argyros, V. Felouzis and V. Kanellopoulos that uses anly standard mathematical arguments. The theorem talks about finite dimensional products of trees, but (time permitting) we will give a discussion of the infinite dimensional case.