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

Abstract: We prove that if

is a p. o. set in a countable transitive model

g M

of

then

g M

can be extended by a generic sequence of reals

a_{i},

such that

a l e p h_{1}^{g} M

is preserved and every

a_{i}

is Sacks generic over

g M [a n g a_{j} : j < i]

. The structure of the degrees of ddgM constructibility of reals in the extension is investigated. As an application, we obtain a model in which the

i s 12

equivalence relation

x E y

iff

L [x] = L [y]

(

x,, y

are reals) does not admit a reasonable form of the Glimm -- Effros theorem.

This page was built for publication: On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property