Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Abelian C-minimal groups.Patrick Simonetta - 2001 - Annals of Pure and Applied Logic 110 (1-3):1-22.
    Macpherson and Steinhorn 165–209) introduce some variants of the notion of o-minimality. One of the most interesting is C-minimality, which provides a natural setting to study algebraically closed-valued fields and some valued groups. In this paper we go further in the study of the structure of C-minimal valued groups, giving a partial characterization in the abelian case. We obtain the following principle: for abelian valued groups G for which the valuation satisfies some kind of compatibility with the multiplication by any (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)One-dimensional fibers of rigid subanalytic sets.L. Lipshitz & Z. Robinson - 1998 - Journal of Symbolic Logic 63 (1):83-88.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On variants of o-minimality.Dugald Macpherson & Charles Steinhorn - 1996 - Annals of Pure and Applied Logic 79 (2):165-209.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations