Barnabas Farkas: A tool to avoid some technical forcing arguments when working with the Hechler forcing

Tuesday, May 23, 2023 17:00

Location: room A.4.1 C-19

Speaker:
Barnabas Farkas (TU Wien)

Title: A tool to avoid some technical forcing arguments when working with the Hechler forcing

Abstract: I'm going to present that virtually every result saying that finite support iterations of the Hechler forcing preserve a cardinal invariant being small and its dual being large can be reduced to a single preservation theorem. In other words, this theorem eliminates the technical forcing arguments from the proofs of these results and reduces them to easy coding exercises.