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 3 – Bootcamp 4 – Bootcamp 5 – Bootcamp 6 – Bootcamp 7 – Bootcamp 8
INCOMPLETE: One dimensional proof of copies of
,
copies of
.