Barnabas Farkas: A tool to avoid some technical forcing arguments when working with the Hechler forcing
17/05/23 14:02
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.
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.