Fresh function spectra

Marlene Koelbing (U of Vienna)

Jul 07. 2022, 09:00 — 09:30

My talk will be about the notion of fresh function and I will discuss the corresponding spectrum. A function with domain lambda is fresh if it is new but all its initial segments are in the ground model. I will give general facts how to compute the fresh function spectrum, also discussing what sets are realizable as a fresh function spectrum of a forcing. Moreover, I will provide several examples, including well-known tree forcings on omega such as Sacks, Laver, Miller, and Mathias forcing, as well as Prikry and Namba forcing to illustrate the difference between fresh functions and fresh subsets.

 

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Set-Theory (Workshop)
Organizer(s):
Jörg Brendle (Kobe U)
Vera Fischer (U of Vienna)
Sy David Friedman (U of Vienna)