×

Ramsey theory on infinite structures and the method of strong coding trees. (English) Zbl 1505.03095

Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 444-467 (2020).
Summary: This article discusses some recent trends in Ramsey theory on infinite structures. Trees and their Ramsey theory have been vital to these investigations. The main ideas behind the author’s recent method of trees with coding nodes are presented, showing how they can be useful both for coding structures with forbidden configurations as well as those with none. Using forcing as a tool for finite searches has allowed the development of Ramsey theory on such trees, leading to solutions for finite big Ramsey degrees of Henson graphs as well as infinite dimensional Ramsey theory of copies of the Rado graph. Possible future directions for applications of these methods are discussed.
For the entire collection see [Zbl 1446.03006].

MSC:

03E02 Partition relations
03E05 Other combinatorial set theory
05D10 Ramsey theory
05C55 Generalized Ramsey theory