29 found
Order:
Disambiguations
Dugald Macpherson [26]D. Macpherson [4]Duncan Macpherson [2]Douglas W. MacPherson [1]
  1.  14
    Vapnik–Chervonenkis Density in Some Theories Without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  7
    On Variants of o-Minimality.Dugald Macpherson & Charles Steinhorn - 1996 - Annals of Pure and Applied Logic 79 (2):165-209.
  3.  6
    Cell Decompositions of C-Minimal Structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
    C-minimality is a variant of o-minimality in which structures carry, instead of a linear ordering, a ternary relation interpretable in a natural way on set of maximal chains of a tree. This notion is discussed, a cell-decomposition theorem for C-minimal structures is proved, and a notion of dimension is introduced. It is shown that C-minimal fields are precisely valued algebraically closed fields. It is also shown that, if certain specific ‘bad’ functions are not definable, then algebraic closure has the exchange (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  21
    Pseudofinite Structures and Simplicity.Darío García, Dugald Macpherson & Charles Steinhorn - 2015 - Journal of Mathematical Logic 15 (1):1550002.
  5.  45
    A Version of o-Minimality for the P-Adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
  6.  11
    Recent Developments in Model Theory, Notre Dame Journal of Formal Logic, Vol.54, Nos. 3-4, 2013.Dugald Macpherson - 2014 - Bulletin of Symbolic Logic 20 (3):357-359.
  7.  6
    Ya'acov Peterzil and Sergei Starchenko, A Trichotomy Theorem for o-Minimal Structures, Proceedings of the London Mathematical Society, Ser. 3 Vol. 77 , Pp. 481–523. [REVIEW]Dugald Macpherson - 1999 - Journal of Symbolic Logic 64 (2):908-910.
  8.  3
    Omega-Categoricity, Relative Categoricity and Coordinatisation.Wilfrid Hodges, I. M. Hodkinson & Dugald Macpherson - 1990 - Annals of Pure and Applied Logic 46 (2):169-199.
  9.  6
    Finite Axiomatizability and Theories with Trivial Algebraic Closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.
  10.  6
    Strongly Determined Types.Alexandre A. Ivanov & Dugald Macpherson - 1999 - Annals of Pure and Applied Logic 99 (1-3):197-230.
    The notion of a strongly determined type over A extending p is introduced, where p .S. A strongly determined extension of p over A assigns, for any model M )- A, a type q S extending p such that, if realises q, then any elementary partial map M → M which fixes acleq pointwise is elementary over . This gives a crude notion of independence which arises very frequently. Examples are provided of many different kinds of theories with strongly determined (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Bezem, M., see Barendsen, E.G. M. Bierman, M. DZamonja, S. Shelah, S. Feferman, G. Jiiger, M. A. Jahn, S. Lempp, Sui Yuefei, S. D. Leonhardi & D. Macpherson - 1996 - Annals of Pure and Applied Logic 79 (1):317.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  12.  14
    Interpreting Groups in Ω-Categorical Structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
    It is shown that no infinite group is interpretable in any structure which is homogeneous in a finite relational language. Related questions are discussed for other ω-categorical structures.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  21
    Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
    It is shown that if is an o-minimal structure such that is a dense total order and ≾ is a parameter-definable partial order on M, then ≾ has an extension to a definable total order.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  3
    Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures.Dugald Macpherson & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):876-884.
  15.  6
    Model Theory of Finite and Pseudofinite Groups.Dugald Macpherson - 2018 - Archive for Mathematical Logic 57 (1-2):159-184.
    This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first-order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Uncountable Homogeneous Partial Orders.Manfred Droste, Dugald Macpherson & Alan Mekler - 2002 - Mathematical Logic Quarterly 48 (4):525-532.
    A partially ordered set is called k-homogeneous if any isomorphism between k-element subsets extends to an automorphism of . Assuming the set-theoretic assumption ⋄, it is shown that for each k, there exist partially ordered sets of size ϰ1 which embed each countable partial order and are k-homogeneous, but not -homogeneous. This is impossible in the countable case for k ≥ 4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    A Note on Valuation Definable Expansions of Fields.Deirdre Haskell & Dugald Macpherson - 1998 - Journal of Symbolic Logic 63 (2):739-743.
  18.  19
    Reconstruction of Homogeneous Relational Structures.Silvia Barbina & Dugald Macpherson - 2007 - Journal of Symbolic Logic 72 (3):792 - 802.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Theology and Class.Duncan Macpherson - 1975 - New Blackfriars 56 (662):317-325.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  6
    Trotsky's Morals And Ours Political Morality And The Revolutionary Christian.Duncan Macpherson - 1979 - New Blackfriars 60 (714):470-478.
  21.  12
    Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures.Dugald Macpherson & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):876-884.
  22.  8
    Review: Ya'acov Peterzil, Sergei Starchenko, A Trichotomy Theorem for O-Minimal Structures. [REVIEW]Dugald Macpherson - 1999 - Journal of Symbolic Logic 64 (2):908-910.
  23.  12
    Human Mobility and Population Health: New Approaches in a Globalizing World.Douglas W. MacPherson & Brian D. Gushulak - 2001 - Perspectives in Biology and Medicine 44 (3):390-401.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  6
    Unexpected Imaginaries in Valued Fields with Analytic Structure.Deirdre Haskell, Ehud Hrushovski & Dugald Macpherson - 2013 - Journal of Symbolic Logic 78 (2):523-542.
    We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Review: A. H. Lachlan, On Countable Stable Structures Which Are Homogeneous for a Finite Relational Language; G. Cherlin, A. H. Lachlan, Stable Finitely Homogeneous Structures. [REVIEW]Dugald Macpherson - 1993 - Journal of Symbolic Logic 58 (1):350-352.
  26.  4
    The American Mathematical Society During January 8–11, 1997, in San Diego, California.• The 1996–97 ASL Annual Meeting Will Be Held March 22–25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman.• The 1997 ASL European Summer Meeting (Logic Colloquium'97) Will Be Held in Early. [REVIEW]J. Derrick, F. Drake, D. Macpherson, A. Slomson, J. Truss & S. Wainer - 1995 - Bulletin of Symbolic Logic 1 (3).
  27.  2
    A. H. Lachlan. On Countable Stable Structures Which Are Homogeneous for a Finite Relational Language. Israel Journal of Mathematics, Vol. 49 , Pp. 69–153. - G. Cherlin and A. H. Lachlan. Stable Finitely Homogeneous Structures. Transactions of the American Mathematical Society, Vol. 296 , Pp. 815–850. [REVIEW]Dugald Macpherson - 1993 - Journal of Symbolic Logic 58 (1):350-352.
  28. Kearnes, KA, Kiss, EW and Valeriote, MA, A Geometric.M. Borisavljevit, S. Buss, G. Mints, T. Coquand, A. A. Ivanov & D. Macpherson - 1999 - Annals of Pure and Applied Logic 99:261.
     
    Export citation  
     
    Bookmark  
  29. EVANS, DM, and HEWITT, PR, Counterexamples to a Con-Jecture on Relative Categoricity GOODMAN, ND, Topological Models of Epistemic Set Theory HEWITT, PR, See EVANS, DM.W. Hodges, Im Hodkinson & D. Macpherson - 1990 - Annals of Pure and Applied Logic 46:299.