Bootcamp 7 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Bootcamp 7 (of 8)

Lecturer: Jan Hubička

Date: Monday October 10, 2016.

Main Topics: “Correct” definition of Ramsey expansion, Ramsey lifts/expansions of graphs, Ramsey lifts/expansions of posets.

Definitions: Precompact expansion, Expansion property, Free Amalgamation, strong type, equivalence formula, equivalence closure, interpretation in a model.

Bootcamp 1 – Bootcamp 2 – Bootcamp 3Bootcamp 4Bootcamp 5Bootcamp 6 – Bootcamp 7 – Bootcamp 8

INCOMPLETE: One dimensional proof of t copies of K_\omega , \omega copies of K_\omega .

Continue reading Bootcamp 7 – Ramsey DocCourse Prague 2016