6 found
Sort by:
  1. Isaac Goldbring, Bradd Hart & Thomas Sinclair (forthcoming). The Theory of Tracial von Neumann Algebras Does Not Have a Model Companion. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Matthias Aschenbrenner & Isaac Goldbring (2014). Transseries and Todorov–Vernaeve's Asymptotic Fields. Archive for Mathematical Logic 53 (1-2):65-87.
    We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi (2013). Madison, WI, USA March 31–April 3, 2012. Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Clifton Ealy & Isaac Goldbring (2012). Thorn-Forking in Continuous Logic. Journal of Symbolic Logic 77 (1):63-93.
    We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary imaginaries, a fact which is new even for discrete first-order real rosy theories.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Isaac Goldbring (2012). An Approximate Herbrand's Theorem and Definable Functions in Metric Structures. Mathematical Logic Quarterly 58 (3):208-216.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Isaac Goldbring (2012). Definable Operators on Hilbert Spaces. Notre Dame Journal of Formal Logic 53 (2):193-201.
    Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation