Selected preprints and publications of Ilijas Farah
See also Google Scholar and
MathSciNet

A new bicommutant theorem, version of March 2016,

Model theory of nuclear C*algebras,
joint with
Bradd Hart,
Martino Lupini,
Leonel Robert,
Aaron Tikuisis,
Alessandro Vignati,
and
Wilhelm Winter
version of June 2016.

Calkin algebra is not countably homogeneous, joint with
Ilan Hirshberg.
To appear in Proc. AMS. Version of Feruary 2016.

Relative commutants of strongly selfabsorbing C*algebras,
joint with
Bradd Hart,
Aaron Tikuisis and
Mikael Rørdam ,
To appear in Selecta Math. Version of March 2016.

Quantifier elimination in C*algebras,
joint with
Christopher J. Eagle,
Eberhard Kirchberg, and
Alessandro Vignati, version of June 2015.

Omitting types in logic of metric structures,
joint with
Menachem Magidor, version of June 2015.

Fraïssé limits of C*algebras,
joint with
Christopher J. Eagle,
Bradd Hart,
Boris Kadets, Vladislav Kalashyk, and
Martino Lupini,
to appear in The Journal of Symbolic Logic, version of February 2016.

Logic and operator algebras. Proceedings of the ,ICM, volume II.
(Sun Young Jang et al, editors), 1539.

Rigidity of continuous quotients
(joint
with Saharon Shelah),
Journal of the Institute of Mathematics of Jussieu 15 (2016) 128.

Existentially closed II_1 factors. with
Isaac Goldbring,
Bradd Hart,
and David Sherman,
Fund. Math.
(233)
(2016)
173196.

A nonseparable amenable operator algebra
which is not isomorphic to a C*algebra (joint with
Yemon
Choi and Taka Ozawa ),
Forum of Mathematics Sigma.
2 e2, 12 pp. (2014).

Traces, ultrapowers, and the PedersenPetersen C*algebras (joint with
Tristan Bice ),
Houston Math. J.
41 (2015)
11751190.

The isomorphism relation for separable C*algebras,
(joint with
George A. Elliott,
Vern Paulsen,
Christian Rosendal,
Andrew S. Toms
and Asger Tornquist),
Math. Res. Lett. 20 (2013), no. 6, 10711080.

A simple C*algebra with finite nuclear dimension
which is not Zstable, (joint with
Dan Hathaway,
Aaron Tikuisis and
Takeshi Katsura),
Muenster Journal of Mathematics 7 (2014) 515528.
.

Nonseparable UHF algebras II: Classification,
(with Takeshi Katsura), Mathematica Scandinavica 117 (2015), 105125.

Omitting types and AF algebras, joint with
Kevin Carlson, Enoch Cheung, Alexander GerhardtBourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, and Alexander Sherman,
Archive for Mathematical Logic 53 (2014), 157169.

Independence of the existence of Pitowsky spin models, joint with
Menachem Magidor, December 2012.

Some Calkin algebras have outer automorphisms, joint with Paul McKenney
and Ernest Schimmerling,
Arch. Math. Logic 52 (2013), 517524.

Homeomorphisms of CechStone remainders: the zerodimensional case, joint
with Paul McKenney, November 2012.

Absoluteness, truth, and quotients,
In Proceedings of the IMS Workshop
on Infinity and Truth, C.T. Chong et al, editors, World Scientific, 124.
,

Selected applications of logic to classification problem of C*algebras,
(notes from Singapore summer school),
In: Erecursion, forcing and C*algebras, C.T. Chong et al, eds., World Scientific, 2014, 183.

Automorphisms of corona algebras, and group cohomology
(joint with Sam Coskey), April 2012.
Trans. Amer. Math. Soc. 366 (2014), no. 7, 36113630.
 Countable saturation of corona algebras,
(joint with Bradd Hart)
C. R. Math. Rep. Acad. Sci. Canada Vol. 35 (2) 2013, pp. 3556.
 The descriptive set theory of C*algebra invariants,
(with Andrew S. Toms
and Asger Tornquist and
appendix with Caleb Eckhardt,
Int. Math. Res. Notices
22 (2013) 51965226
,
 Trivial automorphisms
(joint
with Saharon Shelah),
Israel J. Math 201 (2014) 701728.
 Model theory of operator algebras III: Elementary
equivalence and II_1 factors,
(joint with Bradd Hart
and David Sherman)
Bull. London Math. Soc.
46
(2014)
120.
 Turbulence, orbit equivalence, and the classification of nuclear C*algebras
(with Andrew S. Toms
and Asger Tornquist,
Journal fŸr die reine und angewandte Mathematik (Crelles Journal),
688 (2014) 101146.

All automorphisms of all Calkin algebras, Math. Res. Letters,
18 (2011), 489503.
 Set theory and operator algebras (with Eric Wofsey),
Appalachian Set Theory: 20062012,
(James Cummings
and Ernest Schimmerling, editors),
London Math. Soc. Lecture Note Series 406 (2012), 63120.
 Model theory of operator algebras II: Model theory,
(joint with Bradd Hart
and David Sherman)
Israel J. Math. 201 (2014) 477505.
 The extender algebra and Sigma21 absoluteness,
version of November 2011, to appear in The Cabal Seminar, vol. 4
(Alexander
S. Kechris ,
Benedikt Loewe ,
John R. Steel, editors).
 A dichotomy for the number of ultrapowers, (joint
with Saharon Shelah),
Journal of Mathematical Logic
10,
(2010),
4581.
 Graphs and CCR algebras,
Indiana Univ. Math. J. 59 No. 3 (2010), 1041Ð1056.
 Model theory of operator algebras I: Stability,
(joint with Bradd Hart
and David Sherman, Bulletin of London
Math. Soc.)
45 (2013)
825838.
 A dichotomy for the Mackey Borel structure,
Proceedings of the 11th Asian Logic Conference
In Honor of Professor Chong Chitat on His 60th Birthday,
Yang Yue et. al., editors
8693 (2011).
 Nonseparable UHF algebras I: Dixmier's problem (joint with Takeshi Katsura), Advances in Math. 225 (2010) 13991430.
 The relative commutant of separable C*algebras of real rank zero, Journal of Functional Analysis, 256 (2009), no. 11, 38413846.
 The commutant of L(H) in its ultrapower may or may not be trivial (joint with N. Christopher Phillips and Juris Steprans),
Mathematische Annalen, 347 (2010), 839857.
 All automorphisms of the Calkin algebra are inner,
Annals of Mathematics 173 (2011), 619Ð661.
The slides from my tutorial on automorphisms of the Calkin algebra at the Luminy set theory workshop, September 2226, 2008, are available here and also in a more compact version
They may be used as a guide to the proof. Please note that the terminology used in the talk somewhat differs from that used in the paper. I hope that a slightly different angle may help in understanding the proof.
 Nonhomogeneity in products of betaN spaces,
Topology and its applications 155 (2008) 273276.
 Extreme amenability of L_0,
a Ramsey theorem,
and Levy groups,
(with Slawek Solecki),
Journal of Functional Analysis. (255) (2008) 471493.
 Maharam algebras and Cohen reals,
(with
Boban Velickovic)
Proceedings of the American Mathematical
Society, 135 (2007) 22832290.
 The fourth head of betaN. Open Problems in Topology II, E.M. Pearl, ed., Elsevier, 2007, 135140.
 Absoluteness for universally Baire sets and the uncountable II, (joint with
Richard Ketchersid ,
Paul B. Larson and
Menachem Magidor) 163191.
 Absoluteness for universally Baire sets and the uncountable I.
(joint with
Paul B. Larson)
Quaderni di Matematica.
17 (2006) Set Theory:
Recent Trends and Applications, A. Andretta, ed., 4792.

A proof of the Sigma21 absoluteness theorem. Advances in Logic, S. Gao, S. Jackson and Y. Zhang, eds.,
Contemporary Mathematics,
425 (2007) American Mathematical Society, RI., 922
.
 Von Neumann's problem and large cardinals,
(joint with
Boban Velickovic)
Bulletin of the London Math. Soc. 38 (2006) 907912.
 A countable dense homogeneous set of size aleph_1
(with
Michael Hrusak and Carlos Azarel Martinez Ranero), Fundamenta
Mathematicae186 (2005), 7177.
 Four and more,
Annals of Pure and Applied Logic
140 (2006), 339 (joint with Jindra Zapletal).
 Analytic Hausdorff gaps II: the density zero ideal,
Israel Journal of Mathematics 154 (2006) 235246.
 Between Maharam's and von Neumann's problems,
(joint with Jindra Zapletal)
Mathematics
Research Letters,
11 (2004), no. 56, 673684.
 Examples of epsilonexhaustive submeasures,
Fundamenta
Mathematicae 181 (2004), 257272.
 Borel subgroups of Polish groups.
(joint with Slawek Solecki)
Advances in Mathematics, 199 (2006), 499541.
 Is P(omega) a subalgebra?
(joint with Alan Dow).
Fundamenta
Mathematicae, 183 (2004), 91108.
 Luzin gaps,
Trans. Amer. Math. Soc.
356
(2004), 21972239.

Reductions between meager ideals, Fundamentalnaya i Prikladnaya Matematika 11 (2005), 213219.
(Russian translation available here.)

Two Fsigmadelta ideals, (with Slawek
Solecki),
Proceedings of the American Mathematical
Society 131 (2003), 19711975.
 How many Boolean algebras P(N)/I are there?,
Illinois Journal of Mathematics 46 (2003), 9991033.

Analytic Hausdorff gaps, DIMACS Series, 58
(2002), 6572.

Rigidity conjectures, (a survey of new developments since
Analytic quotients was completed. In: Proceedings
of Logic Colloquium 2000, R. Cori et al., editors. (2005), 252271.

Powers of N*,
Proceedings of the American Mathematical
Society, 130 (2002), 12431246.

Partition theorems for layered partial semigroups,
(with Neil Hindman
and Jillian McLeod)
Journal of Combinatorial Theory,
Ser. A, 98 (2002), 268311.

Dimension phenomena associated with
betaN spaces,
Topology and its Applications, 125 (2002), 279297.

Functions essentially depending on at most one variable,
Journal of Combinatorial Theory,
Ser. A, 94 (2001), 169177.

Basis problem for turbulent actions II: C_0equalities,
Proceedings of the London Mathematical
Society, 82 (2001), 130.
 Basis problem for turbulent actions I: Tsirelson submeasures
Annals of Pure and Applied Logic (Proceedings of XI SLALM) 108 (2001), 189203

Approximate homomorphisms II: Group
homomorphisms,
Combinatorica
20, (2000), 4760.

Analytic quotients: theory of liftings
for quotients over analytic ideals
on the integers
(Memoirs of the American Mathematical Society,
148, No. 702, 177 pp. November 2000)
Order it here.
Analytic quotients homepage.

Liftings of homomorphisms between quotient structures
and Ulam stability,
In: S. Buss et. al, editors,
Logic Colloquium '98, Lecture notes in logic 13,
A.K. Peters, (2000), 173196.
 Ideals induced by Tsirelson submeasures ,
Fundamenta
Mathematicae,
159, (1999) 243258.
 Cauchy nets and open colorings,
Publications
de l'Institut Mathematique,
64 (1998), 146152.
 Approximate homomorphisms,
Combinatorica,
18, (1998), 335348.
 Semiselective coideals,
Mathematika, 45, (1998), 79103.
 Completely additive liftings,
The
Bulletin of Symbolic Logic, 4, (1998), 3754.
 OCA and towers in P(N)/fin,
Commentationes Mathematicae Universitatis Carolinae, 37, (1996), 861866.
 Embedding partially ordered sets into omega^omega,
Fundamenta
Mathematicae, 151, (1996), 5395.
 A coherent family of partial functions on N,
Proceedings of the American Mathematical
Society 124, (1996),
28452852.
Home