25 found
Order:
  1.  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.
  2.  22
    The Theory of Tracial von Neumann Algebras Does Not Have a Model Companion.Isaac Goldbring, Bradd Hart & Thomas Sinclair - 2013 - Journal of Symbolic Logic 78 (3):1000-1004.
  3.  19
    Models with Second Order Properties V: A General Principle.Saharon Shelah, Claude Laflamme & Bradd Hart - 1993 - Annals of Pure and Applied Logic 64 (2):169-194.
    Shelah, S., C. Laflamme and B. Hart, Models with second order properties V: A general principle, Annals of Pure and Applied Logic 64 169–194. We present a general framework for carrying out the construction in [2-10] and others of the same type. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  7
    Enrique Casanovas. Simple Theories and Hyperimaginaries. Lecture Notes in Logic, Vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 Pp. [REVIEW]Bradd Hart - 2012 - Bulletin of Symbolic Logic 18 (3):405-406.
  5.  7
    2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31–April 3, 2012. [REVIEW]Bradd Hart - 2013 - Bulletin of Symbolic Logic 19 (2):236-256.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832-852.
  7.  6
    Frank O. Wagner. Simple Theories. Mathematics and its Applications, Vol. 503. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, Xi + 260 Pp. [REVIEW]Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  64
    On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.
    Let T be simple, work in Ceq over a boundedly closed set. Let p ∈ S(θ) be internal in a quasi-stably-embedded type-definable set Q (e.g., Q is definable or stably-embedded) and suppose (p, Q) is ACL-embedded in Q (see definitions below). Then Aut(p/Q) with its action on pC is type-definable in Ceq over θ. In particular, if p ∈ S(θ) is internal in a stably-embedded type-definable set Q, and pC υ Q is stably-embedded, then Aut(p/Q) is type-definable with its action (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9.  1
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832.
  10.  11
    Marker David. Model Theory: An Introduction. Graduate Texts in Mathematics, Vol. 271. Springer Verlag, New York, Berlin and Heidelberg, 2002, 342 Pp. [REVIEW]Bradd Hart - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
  11.  15
    Unique Decomposition in Classifiable Theories.Bradd Hart, Ehud Hrushovski & Michael C. Laskowski - 2002 - Journal of Symbolic Logic 67 (1):61-68.
  12.  7
    2012 North American Annual Meeting of the Association for Symbolic Logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
  13.  12
    A Note on a-Prime Models.Bradd Hart, Željko Sokolović & Predrag Tanovic - 1999 - Journal of Symbolic Logic 64 (4):1557-1562.
    We answer a question of Cassidy and Kolchin about the universality of the constrained closure of a differential field by working in a larger category of models.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  15.  12
    Review: Frank O. Wagner, Simple Theories. [REVIEW]Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.
  16.  6
    1997–98 Annual Meeting of the Association for Symbolic Logic.Bradd Hart - 1998 - Bulletin of Symbolic Logic 4 (4):443-458.
  17.  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  
  18.  9
    Addendum to "a Structure Theorem for Strongly Abelian Varieties".Bradd Hart & Sergei Starchenko - 1993 - Journal of Symbolic Logic 58 (4):1419-1425.
  19.  4
    An Unclassifiable Unidimensional Theory Without OTOP.Ambar Chowdhury & Bradd Hart - 1997 - Notre Dame Journal of Formal Logic 38 (1):93-103.
    A countable unidimensional theory without the omitting types order property (OTOP) has prime models over pairs and is hence classifiable. We show that this is not true for uncountable unidimensional theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, Vol. 40. Cambridge University Press, United Kingdom, 2012, X + 248 Pp. [REVIEW]Bradd Hart - 2015 - Bulletin of Symbolic Logic 21 (3):342-343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  2
    Shelah S.. Classification Theory and the Number of Non-Isomorphic Models. Revised Edition of XLVII 694. Studies in Logic and the Foundations of Mathematics, Vol. 92. North-Holland, Amsterdam Etc. 1990, Xxxiv + 705 Pp. [REVIEW]Bradd Hart - 1993 - Journal of Symbolic Logic 58 (3):1071-1074.
  22.  2
    Review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models. [REVIEW]Bradd Hart - 1993 - Journal of Symbolic Logic 58 (3):1071-1074.
  23.  1
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  24. Review of 'Classification Theory, Revised Edition'by S. Shelah. [REVIEW]Bradd Hart - 1993 - Journal of Symbolic Logic 58:1071-1074.
  25. REVIEWS-Simple Theories.F. Wagner & Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-523.