Switch to: Citations

Add references

You must login to add references.
  1. 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   21 citations  
  • On the Elimination of Imaginaries From Certain Valued Fields.Philip Scowcroft & Angus Macintyre - 1993 - Annals of Pure and Applied Logic 61 (3):241-276.
    A nontrivial ring with unit eliminates imaginaries just in case its complete theory has the following property: every definable m-ary equivalence relation E may be defined by a formula f = f, where f is an m-ary definable function. We show that for certain natural expansions of the field of p-adic numbers, elimination of imaginaries fails or is independent of ZPC. Similar results hold for certain fields of formal power series.
    Direct download (4 more)  
    Export citation  
    Bookmark   2 citations  
  • Complete Theories.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):172-174.
    Direct download  
    Export citation  
    Bookmark   23 citations