English

On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property

Logic 2018-08-22 v1

Abstract

We prove that if \bI\bI is a p.\ o. set in a countable transitive model \gM\gM of \ZFC\ZFC then \gM\gM can be extended by a generic sequence of reals \a\i,\a_\i, \i\bI,\i\in\bI, such that 1\gM\aleph_1^\gM is preserved and every \a\i\a_\i is Sacks generic over \gM[\ang\a\j:\j<\i]\gM[\ang{\a_\j:\j<\i}]. 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 \is12\is12 equivalence relation x\Eyx \E y iff \rL[x]=\rL[y]\rL[x]=\rL[y] (x,yx,\,y 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}
}