Full-splitting Miller trees and infinitely often equal reals

https://doi.org/10.1016/j.apal.2017.02.001Get rights and content
Under an Elsevier user license
open archive

Abstract

We investigate two closely related partial orders of trees on ωω: the full-splitting Miller trees and the infinitely often equal trees, as well as their corresponding σ-ideals. The former notion was considered by Newelski and Rosłanowski while the latter involves a correction of a result of Spinas. We consider some Marczewski-style regularity properties based on these trees, which turn out to be closely related to the property of Baire, and look at the dichotomies of Newelski–Rosłanowski and Spinas for higher projective pointclasses. We also provide some insight concerning a question of Fremlin whether one can add an infinitely often equal real without adding a Cohen real, which was recently solved by Zapletal.

MSC

03E15
03E17
03E35
03E75

Keywords

Descriptive set theory
Idealized forcing
Dichotomy theorems
Regularity properties

Cited by (0)

1

Supported by the Austrian Science Fund (FWF) under project number P23316.