Logic Seminar
Friday, August 29, 2025 - 2:55pm
Malott 205
A construction scheme is a highly structured family of finite subsets of $\omega_1$. Todorcevic introduced this notion as a means to axiomatically carry out certain forcing constructions. They turn out also to be useful to describe classical constructions of objects of cardinality $\omega_1$. This talk will give an introduction to the topic, which will be revisited later this semester in the context of more sophisticated constructions.