3 papers
math.LO2025
Perfect set dichotomy theorem in generalized Solovay model
Hiroshi Sakai, Toshimasa Tanno
We prove that the perfect set dichotomy theorem holds in the Solovay model . Namely, for every equivalence relation on , either is…
math.LO2025
Generalized Tukey reducibility between -directed sets
Hiroshi Sakai, Toshimasa Tanno
We introduce the pre-Tukey reducibility, a generalization of the Tukey reducibility between directed sets that works well in . We investigate the pre-Tukey reducibilit…
math.LO2023
Stationary tower forcings and universally Baire sets
Toshimasa Tanno
We investigate properties of stationary tower forcings and give conditions on stationary towers to derive the universally Baireness of sets of reals in .