Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004.

2015 ◽  
Vol 21 (4) ◽  
pp. 425-427
Author(s):  
Itaï Ben Yaacov
Keyword(s):  
Model Theory ◽  
Israel Journal ◽  
Von Neumann Algebras ◽  
Operator Algebras ◽  
London Mathematical Society ◽  
Mathematical Society ◽  
Symbolic Logic ◽  
Model Companion ◽  
Von Neumann ◽  
Elementary Equivalence

James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5–23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25–62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63–119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121–144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145–185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187–206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207–244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245–263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265–299. - Menachem Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of weak squares. pp. 301–330. - Boban Veličković and Giorgio Venturi. Proper forcing remastered. pp. 331–362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363–396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397–419.

2014 ◽  
Vol 20 (1) ◽  
pp. 94-97
Author(s):  
Natasha Dobrinen
Keyword(s):  
New York ◽  
Set Theory ◽  
Von Neumann Algebras ◽  
Operator Algebras ◽  
Continuum Hypothesis ◽  
London Mathematical Society ◽  
Equivalence Relations ◽  
Classification Problems ◽  
Von Neumann ◽  
Borel Equivalence Relations

Arthur W. Apter. On the least strongly compact cardinal. Israel journal of mathematics, vol. 35 (1980), pp. 225–233. - Arthur W. Apter. Measurability and degrees of strong compactness. The journal of symbolic logic, vol. 46 (1981), pp. 249–254. - Arthur W. Apter. A note on strong compactness and supercompactness. Bulletin of the London Mathematical Society, vol. 23 (1991), pp. 113–115. - Arthur W. Apter. On the first n strongly compact cardinals. Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the strong equality between supercompactness and strong compactness.. Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' result is best possible. Ibid., pp. 2007–2034. - Arthur W. Apter. More on the least strongly compact cardinal. Mathematical logic quarterly, vol. 43 (1997), pp. 427–430. - Arthur W. Apter. Laver indestructibility and the class of compact cardinals. The journal of symbolic logic, vol. 63 (1998), pp. 149–157. - Arthur W. Apter. Patterns of compact cardinals. Annals of pure and applied logic, vol. 89 (1997), pp. 101–115. - Arthur W. Apter and Moti Gitik. The least measurable can be strongly compact and indestructible. The journal of symbolic logic, vol. 63 (1998), pp. 1404–1412.

2000 ◽  
Vol 6 (1) ◽  
pp. 86-89
Author(s):  
James W. Cummings
Keyword(s):  
Israel Journal ◽  
American Mathematical Society ◽  
London Mathematical Society ◽  
Mathematical Society ◽  
Symbolic Logic ◽  
Strongly Compact Cardinal ◽  
Compact Cardinal ◽  
Applied Logic ◽  
Strong Compactness ◽  
Strongly Compact Cardinals

scholarly journals Large Irredundant Sets in Operator Algebras

2019 ◽  
Vol 72 (4) ◽  
pp. 988-1023
Author(s):  
Clayton Suguio Hida ◽  
Piotr Koszmider
Keyword(s):  
Von Neumann Algebras ◽  
Operator Algebras ◽  
Continuum Hypothesis ◽  
The Other ◽  
Open Problems ◽  
Von Neumann ◽  
C Algebra ◽  
Infinite Dimensional ◽  
C Algebras ◽  
The Continuum

AbstractA subset ${\mathcal{X}}$ of a C*-algebra ${\mathcal{A}}$ is called irredundant if no $A\in {\mathcal{X}}$ belongs to the C*-subalgebra of ${\mathcal{A}}$ generated by ${\mathcal{X}}\setminus \{A\}$. Separable C*-algebras cannot have uncountable irredundant sets and all members of many classes of nonseparable C*-algebras, e.g., infinite dimensional von Neumann algebras have irredundant sets of cardinality continuum.There exists a considerable literature showing that the question whether every AF commutative nonseparable C*-algebra has an uncountable irredundant set is sensitive to additional set-theoretic axioms, and we investigate here the noncommutative case.Assuming $\diamondsuit$ (an additional axiom stronger than the continuum hypothesis), we prove that there is an AF C*-subalgebra of ${\mathcal{B}}(\ell _{2})$ of density $2^{\unicode[STIX]{x1D714}}=\unicode[STIX]{x1D714}_{1}$ with no nonseparable commutative C*-subalgebra and with no uncountable irredundant set. On the other hand we also prove that it is consistent that every discrete collection of operators in ${\mathcal{B}}(\ell _{2})$ of cardinality continuum contains an irredundant subcollection of cardinality continuum.Other partial results and more open problems are presented.

Sign in / Sign up

Export Citation Format

Share Document