74 citations · 433 across the 68 of their papers we have counts for
Showing 2010 · math.LOShow all
3 papers · 2 filters
math.LO2010
All automorphisms of all Calkin algebras
Ilijas Farah
The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inne…
math.LO2010
The extender algebra and -absoluteness
Ilijas Farah
We present a self-contained account of Woodin's extender algebra and its use in proving absoluteness results, including a proof of the -absoluteness theorem. We also include…
math.LO2010★ 5 cited
Model theory of operator algebras II: Model theory
Ilijas Farah, Bradd Hart, David Sherman
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to th…