On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property
Logic
2018-08-22 v1
Abstract
We prove that if is a p.\ o. set in a countable transitive model of then can be extended by a generic sequence of reals such that is preserved and every is Sacks generic over . The structure of the degrees of \dd\gM constructibility of reals in the extension is investigated. As an application, we obtain a model in which the equivalence relation iff ( are reals) does not admit a reasonable form of the Glimm -- Effros theorem.
Keywords
Cite
@article{arxiv.math/9508206,
title = {On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:math/9508206},
year = {2018}
}