We recently proved that whenever \(G_0, G_1\) are mutually generic filters over \(V\), each adding a new real, then the field of reals in \(V[G_0,G_1]\) has transcendence degree continuum over the field generated by the reals coming from \(V[G_0]\) and \(V[G_1]\). This can be generalized to an arbitrary finite number of generics and answers a question of Fatalini and Schindler. We will present the proof which is a nice combination of analysis and forcing.
Transcendence degrees over mutually generic extensions
05.03.2026 11:30 - 05.03.2025 13:00
Organiser:
KGRC
Location: