Year: 2013
Type: preprint
Abstract: We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) 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(R).
Source: arXiv (Cornell University)
Authors: Farah, Ilijas, Goldbring, Isaac, Hart, Bradd, Sherman, David
Institutions: York University, University of Copenhagen
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1592339824