Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/32131
Title: | On the Computability Theoretic and Continuous Model Theoretic Structure of General von Neumann Algebras |
Other Titles: | Computability and Continuous Model Theory in von Neumann Algebras |
Authors: | Arulseelan, Jananan |
Advisor: | Hart, Bradd |
Department: | Mathematics |
Keywords: | Continuous Logic;Continuous Model Theory;Model Theory;Logic;C*-algebras;Von Neumann Algebras;Computability;Operator Algebras;Hilbert Algebras |
Publication Date: | 2025 |
Abstract: | In this thesis, we introduce and develop the model theory of general von Neumann algebras with a faithful normal semifinite weight. Our framework admits various computability theoretic properties that align it with recent work on uncomputable universal theories in the tracial von Neumann algebra setting. We study the ultraproduct that our framework suggests and we prove analogues of known theorems about the Ocneanu ultraproduct for this new ultraproduct, ultimately providing 3 new operator algebraic characterizations of our ultraproduct. We show that our framework captures the Connes-Takesaki decomposition which is central to the classification of injective factors. We capture the Connes-Takesaki decomposition via definable groupoids, examining other aspects of definability in continuous logic along the way. Finally, we study the uncomputability of various classes of operator algebras and, as an application, give consequences about ultraproduct embeddings. |
URI: | http://hdl.handle.net/11375/32131 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Arulseelan_Jananan_2025July_PhD.pdf | 890.95 kB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.