Talks and Poster Presentations (with Proceedings-Entry):
D. Meija Guzman:
"Borel computation of names in template iterations";
Talk: RIMS Set Theory Workshop on Infinitary Combinatorics in Set Theory and Its Applications,
Kyoto, Japan (invited);
2014-11-10
- 2014-11-13; in: "Kyoto Daigaku Surikaiseki Kenkyusho Kokyuroku",
1949
(2015),
54
- 61.
English abstract:
We prove that, for a suitable iteration along a template, we can compute any
name for a real from a Borel function coded in the ground model evaluated at
only countably many of the generic reals.
Created from the Publication Database of the Vienna University of Technology.