Order:
Disambiguations
Bradd Hart [32]B. Hart [8]Bernard Hart [4]Bruce S. Hart [3]
Bethne Hart [2]Bruce Hart [2]Basil Henry Liddell Hart [2]Benjamin L. Hart [2]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Ben Hart
Saint Louis University
  1.  9
    Whither Seismic Stratigraphy?Bruce S. Hart - 2013 - Interpretation: SEG 1 (1):SA3-SA20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  13
    Mudstone Depositional and Diagenetic Processes: Implications for Seismic Analyses of Source-Rock Reservoirs.Bruce S. Hart, Joe H. S. Macquaker & Kevin G. Taylor - 2013 - Interpretation: SEG 1 (1):B7-B26.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  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 (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  5
    Programmed Pyrolysis Data and Shale Paleoenvironmental Analyses: A Review.B. S. Hart & A. S. Steen - 2015 - Interpretation: SEG 3 (1):SH41-SH58.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Introduction to Special Section: Shale Paleoenvironments.Bruce Hart, Gilles Hennenfent, Joe Macquaker & Harry Rowe - 2015 - Interpretation: SEG 3 (1):SHi-SHi.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  17
    The Classification of Excellent Classes.R. Grossberg & B. Hart - 1989 - Journal of Symbolic Logic 54 (4):1359-1381.
  7.  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.
  8.  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  
  9.  18
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832-852.
  10.  8
    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  
  11.  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  
  12.  1
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832.
  13.  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.
  14.  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  
  15.  32
    1-Based Theories — the Main Gap for a -Models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
    We prove the Main Gap for the class of a -models (sufficiently saturated models) of an arbitrary stable 1-based theory T . We (i) prove a strong structure theorem for a -models, assuming NDOP, and (ii) roughly compute the number of a -models of T in any given cardinality. The analysis uses heavily group existence theorems in 1-based theories.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  27
    Watching the 'Eugenic Experiment' Unfold: The Mixed Views of British Eugenicists Toward Nazi Germany in the Early 1930s. [REVIEW]Bradley W. Hart - 2012 - Journal of the History of Biology 45 (1):33 - 63.
    Historians of the eugenics movement have long been ambivalent in their examination of the links between British hereditary researchers and Nazi Germany. While there is now a clear consensus that American eugenics provided significant material and ideological support for the Germans, the evidence remains less clear in the British case where comparatively few figures openly supported the Nazi regime and the left-wing critique of eugenics remained particularly strong. After the Second World War British eugenicists had to push back against the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  15
    Introduction to Special Section: Salt Basin Model Building, Imaging, and Interpretation.Jacques P. Leveille, Dave McCann, David Bartel, Scott Morton, Jerry Young, Brian Horn, Rob Wervelman, Sverre Brandsberg-Dahl, Adriana Ramirez, Gabriel Ritter, Paul Williamson, Mark Rhodes & Bill Hart - 2014 - Interpretation: SEG 2 (4):SLi-SLi.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Aggressive Domination of Cattle by Fulani Herdsmen and Its Relation to Aggression in Fulani Culture and Personality.Dale F. Lott & Benjamin L. Hart - 1977 - Ethos: Journal of the Society for Psychological Anthropology 5 (2):174-186.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  20
    Teaching Health Sociology in Australia.J. Parer, K. Harley, R. Aird, F. Collyer, P. S. Cook, J. Dellemain, B. Hart, L. Rodriguez & S. Short - 2013 - Nexus 25 (3):12-18.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. DOSEN, K., Rudimentary Kripke Models for the Intuitionistic Propositional Calculus EVANS, DM and HRUSHOVSKI, E., On the Automorphism Groups of Finite Covers.H. Friedman, Sg Simpson, X. Yu, Mc Laskowski, Ad Greif, A. Marcia, M. Prest, C. Toffalori, A. Pillay & B. Hart - 1993 - Annals of Pure and Applied Logic 62:295.
     
    Export citation  
     
    Bookmark   1 citation  
  21.  12
    Integrated Characterization of Hydraulic Fracture Treatments in the Barnett Shale: The Stocker Geophysical Experiment.Baishali Roy, Bruce Hart, Anastasia Mironova, Changxi Zhou & Ulrich Zimmer - 2014 - Interpretation: SEG 2 (2):T111-T127.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Controversies and the Metaphysics of Mind.Benjamin Hart - 2012 - Review of Metaphysics 65 (3):679-681.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Aggressive Domination of Cattle by Fulani Herdsmen and its Relation to Aggression in Fulani Culture and Personality.Dale F. Lott & Benjamin L. Hart - 1977 - Ethos: Journal of the Society for Psychological Anthropology 5 (2):174-186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  12
    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.
  25.  9
    Triviality, NDOP and Stable Varieties.B. Hart, A. Pillay & S. Starchenko - 1993 - Annals of Pure and Applied Logic 62 (2):119-146.
    We study perfectly trivial theories, 1-based theories, stable varieties, and their mutual interaction. We give a structure theorem for the models of a complete perfectly trivial stable theory without DOP: any model is the algebraic closure of a nonforking regular tree of elements. We also give a structure theorem for stable varieties, all of whose completions have NDOP. Such a variety is a varietal product of an affine variety and a combinatorial variety of an especially simple form.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  16
    Unique Decomposition in Classifiable Theories.Bradd Hart, Ehud Hrushovski & Michael C. Laskowski - 2002 - Journal of Symbolic Logic 67 (1):61-68.
  27.  8
    Watching the ‘Eugenic Experiment’ Unfold: The Mixed Views of British Eugenicists Toward Nazi Germany in the Early 1930s.Bradley W. Hart - 2012 - Journal of the History of Biology 45 (1):33-63.
    Historians of the eugenics movement have long been ambivalent in their examination of the links between British hereditary researchers and Nazi Germany. While there is now a clear consensus that American eugenics provided significant material and ideological support for the Germans, the evidence remains less clear in the British case where comparatively few figures openly supported the Nazi regime and the left-wing critique of eugenics remained particularly strong. After the Second World War British eugenicists had to push back against the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  13
    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  
  29.  7
    1997–98 Annual Meeting of the Association for Symbolic Logic.Bradd Hart - 1998 - Bulletin of Symbolic Logic 4 (4):443-458.
  30.  7
    2012 North American Annual Meeting of the Association for Symbolic Logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
  31.  13
    Emotion and Insanity. By S. Thalbitzer. [REVIEW]Bernard Hart - 1926 - Philosophy 1 (3):391.
  32.  15
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  33.  12
    Review: Frank O. Wagner, Simple Theories. [REVIEW]Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.
  34.  9
    Addendum to "a Structure Theorem for Strongly Abelian Varieties".Bradd Hart & Sergei Starchenko - 1993 - Journal of Symbolic Logic 58 (4):1419-1425.
  35.  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  
  36.  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  
  37.  4
    Superstable Quasi-Varieties.B. Hart & S. Starchenko - 1994 - Annals of Pure and Applied Logic 69 (1):53-71.
    We present a structure theorem for superstable quasi-varieties without DOP. We show that every algebra in such a quasi-variety weakly decomposes as the product of an affine algebra and a combinational algebra, that is, it is bi-interpretable with a two sorted structure where one sort is an affine algebra, the other sort is a combinatorial algebra and the only non-trivial polynomials between the two sorts are certain actions of the affine sort on the combinatorial sort.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  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  
  39.  3
    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.
  40.  3
    1-Based Theories - the Main Gap for $a$ -Models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  2
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  42.  2
    Introduction to Special Section: Interpreting Stratigraphy From Geophysical Data.Hongliu Zeng, Bruce S. Hart & Lesli J. Wood - 2013 - Interpretation: SEG 1 (1):SA1-SA2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  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.
  44. Review of 'Classification Theory, Revised Edition'by S. Shelah. [REVIEW]Bradd Hart - 1993 - Journal of Symbolic Logic 58:1071-1074.
  45. The Problem and Prospects of a Health Research Ethics Committee for Undergraduate Students.Bethne Hart, Rob Irvine & Ann Williams - 1992 - Bioethics News 12 (3):4-10.
  46. Why Don't We Learn From History?Basil Henry Liddell Hart - 1944 - London: Allen & Unwin.
  47. AMBOS-SPIES, K., LACHLAN, Continuity of Cupping to 0'.S. Shelah, C. Laflamme & B. Hart - 1993 - Annals of Pure and Applied Logic 64:293.
  48. REVIEWS-Simple Theories.F. Wagner & Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-523.