We examine the properties of existentially closed ($𝓡 ^{ω}$-embeddable) II₁ factors. In particular, we use the fact that every automorphism of an existentially closed ($𝓡 ^{ω}$-embeddable) II₁ factor is approximately inner to prove that Th(𝓡) is not model-complete. We also show that Th(𝓡) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(𝓡).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.