18 found
Order:
  1.  9
    Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
    This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  16
    Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1-2):157-169.
    We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  7
    A dichotomy for the number of ultrapowers.Ilijas Farah & Saharon Shelah - 2010 - Journal of Mathematical Logic 10 (1):45-81.
    We prove a strong dichotomy for the number of ultrapowers of a given model of cardinality ≤ 2ℵ0 associated with nonprincipal ultrafilters on ℕ. They are either all isomorphic, or else there are 22ℵ0 many nonisomorphic ultrapowers. We prove the analogous result for metric structures, including C*-algebras and II1 factors, as well as their relative commutants and include several applications. We also show that the CAF001-algebra [Formula: see text] always has nonisomorphic relative commutants in its ultrapowers associated with nonprincipal ultrafilters (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  15
    Four and more.Ilijas Farah & Jindřich Zapletal - 2006 - Annals of Pure and Applied Logic 140 (1):3-39.
    We isolate several large classes of definable proper forcings and show how they include many partial orderings used in practice.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  28
    Some Calkin algebras have outer automorphisms.Ilijas Farah, Paul McKenney & Ernest Schimmerling - 2013 - Archive for Mathematical Logic 52 (5-6):517-524.
    We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, assuming some restriction of the Generalized Continuum Hypothesis, there are many outer automorphisms.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  45
    Gabriel Debs and Jean Saint Raymond. Compact covering mappings and cofinal families of compact subsets of a Borel set. Fundamenta Mathematicae, vol. 167, no. 3 (2001), pp. 213–249. - Gabriel Debs and Jean Saint Raymond. Compact covering mappings between Borel spaces. Acta Universitatis Carolinae. Mathematica et Physica, vol. 40, no. 2 (1999), pp. 53–64. - Gabriel Debs and Jean Saint Raymond. Cofinal and subsets of ω ω. Fundamenta Mathematicae, vol. 159, no. 2 (1999), pp. 161–193. - Gabriel Debs and Jean Saint Raymond. Compact-covering-properties of finite-to-one mappings. Topology and its Applications, vol. 81, no. 1 (1997), pp. 55–84. - Gabriel Debs and Jean Saint Raymond. Some applications of game determinacy. Acta Universitatis Carolinae. Mathematica et Physica, vol. 37, no. 2 (1996), pp. 7–23. - Gabriel Debs and Jean Saint Raymond. Compact covering and game determinacy. Topology and its Applications, vol. 68, no. 2 (1996), pp. 153–185. - Gabriel Debs and Jean Saint Raymond. Compact. [REVIEW]Ilijas Farah - 2004 - Bulletin of Symbolic Logic 10 (3):430-434.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Fraïssé limits of c*-algebras.Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk & Martino Lupini - 2016 - Journal of Symbolic Logic 81 (2):755-773.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  16
    Completely additive liftings.Ilijas Farah - 1998 - Bulletin of Symbolic Logic 4 (1):37-54.
    The purpose of this communication is to survey a theory of liftings, as developed in author's thesis. The first result in this area was Shelah's construction of a model of set theory in which every automorphism of P/ Fin, where Fin is the ideal of finite sets, is trivial, or inother words, it is induced by a function mapping integers into integers. Soon afterwards, Velickovic, was able to extract from Shelah's argument the fact that every automorphism of P/ Fin with (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. REVIEWS-Compact covering maps and descriptive set theory.G. Debs, J. Saint Raymond & Ilijas Farah - 2004 - Bulletin of Symbolic Logic 10 (3):430-434.
  10. G. Debs and J. Saint Raymond's work on compact covering maps and descriptive set theory.Ilijas Farah - 2004 - Bulletin of Symbolic Logic 10 (3):430-434.
  11. REVIEWS-Topics in topology.S. Todorcevic & Ilijas Farah - 2002 - Bulletin of Symbolic Logic 8 (4):526-527.
  12.  7
    Basis problem for turbulent actions I: Tsirelson submeasures.Ilijas Farah - 2001 - Annals of Pure and Applied Logic 108 (1-3):189-203.
    We use modified Tsirelson's spaces to prove that there is no finite basis for turbulent Polish group actions. This answers a question of Hjorth and Kechris 329–346; Hjorth, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000, Section 3.4.3).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  6
    Corson reflections.Ilijas Farah & Menachem Magidor - 2021 - Annals of Pure and Applied Logic 172 (5):102908.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    San Diego Convention Center, San Diego, CA January 8–9, 2008.Gregory L. Cherlin, Ilijas Farah, Pavel Hrubes, Victor Marek, Jan Riemann, Simon Thomas & Jeffrey Remmel - 2008 - Bulletin of Symbolic Logic 14 (3).
  15.  28
    Review: Stevo Todorcevic, Topics in Topology. [REVIEW]Ilijas Farah - 2002 - Bulletin of Symbolic Logic 8 (4):526-528.
  16. Stanford University, Stanford, CA March 19–22, 2005.Steve Awodey, Raf Cluckers, Ilijas Farah, Solomon Feferman, Deirdre Haskell, Andrey Morozov, Vladimir Pestov, Andre Scedrov, Andreas Weiermann & Jindrich Zapletal - 2006 - Bulletin of Symbolic Logic 12 (1).
     
    Export citation  
     
    Bookmark  
  17.  6
    2005 annual meeting of the association for symbolic logic.Ilijas Farah, Deirdre Haskell, Andrey Morozov, Vladimir Pestov & Jindrich Zapletal - 2006 - Bulletin of Symbolic Logic 12 (1):143.
  18.  2
    Stevo Todorcevic. Topics in topology. Lecture notes in mathematics, vol. 1652. Springer, Berlin, Heidelberg, New York, etc., 1997, viii + 153 pp. [REVIEW]Ilijas Farah - 2002 - Bulletin of Symbolic Logic 8 (4):526-528.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark