Order:
Disambiguations
Bradd Hart [32]B. Hart [8]Bruce S. Hart [4]Bernard Hart [4]
Bruce Hart [3]Basil Henry Liddell Hart [2]Benjamin L. Hart [2]Bradley W. 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.
    Here, I provide an historical summary of seismic stratigraphy and suggest some potential avenues for future collaborative work between sedimentary geologists and geophysicists. Stratigraphic interpretations based on reflection geometry- or shape-based approaches have been used to reconstruct depositional histories and to make qualitative and quantitative predictions of rock physical properties since at least the mid-1970s. This is the seismic stratigraphy that is usually practiced by geology-focused interpreters. First applied to 2D seismic data, interest in seismic stratigraphy was reinvigorated by the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 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.  17
    The Classification of Excellent Classes.R. Grossberg & B. Hart - 1989 - Journal of Symbolic Logic 54 (4):1359-1381.
  5.  6
    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  
  6.  23
    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.
  7.  23
    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  
  8.  18
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832-852.
  9.  34
    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   1 citation  
  10.  1
    A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (3):832.
  11.  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  
  12.  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  
  13.  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   1 citation  
  14.  2
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  15.  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 (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Emotion and Insanity. By S. Thalbitzer. [REVIEW]Bernard Hart - 1926 - Philosophy 1 (3):391.
  17.  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  
  18.  13
    Review: Frank O. Wagner, Simple Theories. [REVIEW]Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.
  19.  3
    Introduction to Special Section: Colombia.Oswaldo Davogustto Cataldo, Antonio J. Velásquez, Emilio Torres Parada, Javier Téllez-Rodríguez & Bruce Hart - 2020 - Interpretation 8 (4):STi-STi.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  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  
  21. 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.
  22.  10
    1997–98 Annual Meeting of the Association for Symbolic Logic.Bradd Hart - 1998 - Bulletin of Symbolic Logic 4 (4):443-458.
  23.  14
    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  
  24.  15
    A Proof of Morley's Conjecture.Bradd Hart - 1989 - Journal of Symbolic Logic 54 (4):1346-1358.
  25.  9
    Addendum to "a Structure Theorem for Strongly Abelian Varieties".Bradd Hart & Sergei Starchenko - 1993 - Journal of Symbolic Logic 58 (4):1419-1425.
  26.  16
    Controversies and the Metaphysics of Mind.Benjamin Hart - 2012 - Review of Metaphysics 65 (3):679-681.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  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.
  28.  9
    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  
  29. 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  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  
  31.  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.
  32.  1
    Mudstone (“Shale”) Depositional and Diagenetic Processes: Implications for Seismic Analyses of Source-Rock Reservoirs.Bruce S. Hart, Joe H. S. Macquaker & Kevin G. Taylor - 2013 - Interpretation 1 (1):B7-B26.
    Source-rock reservoirs are fine-grained petroleum source rocks having geomechanical properties that allow those rocks to produce hydrocarbons at economic rates after stimulation by hydraulic fracturing. Many of the assumptions commonly adopted by geophysicists to characterize shales cannot be applied to source-rock reservoirs. For example, the mineralogies of many source-rock reservoirs are not dominated by clay minerals and so mathematical and/or conceptual models developed for clay-dominated mudstones are not appropriate and cannot be applied to them. Instead, mudstones of shale plays are (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  11
    2012 North American Annual Meeting of the Association for Symbolic Logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
  34.  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  
  35.  1
    Programmed Pyrolysis (Rock-Eval) Data and Shale Paleoenvironmental Analyses: A Review.B. S. Hart & A. S. Steen - 2015 - Interpretation 3 (1):SH41-SH58.
    We use public-domain data from programmed pyrolysis, collected using Rock-Eval or similar apparatuses, to illustrate the utility and challenges of using this method for paleoenvironmental analyses. These data are widely available and commonly collected and analyzed for a variety of purposes in the petroleum industry in the fields of paleo-oceanography and paleoclimate research and elsewhere. We show how factors such as sample condition, mineralogy, organic content, and others can influence the results, leading to potential interpretational complications. We also evaluate ways (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Review of 'Classification Theory, Revised Edition'by S. Shelah. [REVIEW]Bradd Hart - 1993 - Journal of Symbolic Logic 58:1071-1074.
  37.  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.
  38.  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  
  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.  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  
  41. 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.
  42.  17
    Unique Decomposition in Classifiable Theories.Bradd Hart, Ehud Hrushovski & Michael C. Laskowski - 2002 - Journal of Symbolic Logic 67 (1):61-68.
  43.  2
    Why Don't We Learn From History?Basil Henry Liddell Hart - 1944 - London: Allen & Unwin.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  30
    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  
  45.  9
    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  
  46.  16
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  25
    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  
  48.  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.
    We integrated several independent geophysical and geologic methods to examine the effects of stratigraphic and structural heterogeneities on the growth of hydraulic fracture networks from two horizontal wells in the Barnett Shale, Fort Worth Basin, Texas. Our data set included time-lapse 3D seismic surveys, microseismic data, wireline logs, and distributed temperature sensing data. We first created a local stratigraphic framework using wireline logs. In our area, the lower Barnett Shale consists of siliceous mudstones intercalated with carbonate submarine fan deposits. The (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. AMBOS-SPIES, K., LACHLAN, Continuity of Cupping to 0'.S. Shelah, C. Laflamme & B. Hart - 1993 - Annals of Pure and Applied Logic 64:293.
  50. REVIEWS-Simple Theories.F. Wagner & Bradd Hart - 2002 - Bulletin of Symbolic Logic 8 (4):522-523.
1 — 50 / 51