Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)The theory of modules of separably closed fields. I.Pilar Dellunde, Françoise Delon & Françoise Point - 2002 - Journal of Symbolic Logic 67 (3):997-1015.
    We consider separably closed fields of characteristic $p > 0$ and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the $p$-component functions.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • The generalised RK-Order, orthogonality and regular types for modules.Mike Prest - 1985 - Journal of Symbolic Logic 50 (1):202-219.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Totally transcendental theories of modules: decomposition of models and types.T. G. Kucera - 1988 - Annals of Pure and Applied Logic 39 (3):239-272.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The theory of modules of separably closed fields 2.Pilar Dellunde, Françoise Delon & Françoise Point - 2004 - Annals of Pure and Applied Logic 129 (1-3):181-210.
    In Dellunde et al. 997–1015), we determined the complete theory Te of modules of separably closed fields of characteristic p and imperfection degree e, eω{∞}. Here, for 0≠eω, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions of dimensions and their relationships with the Lascar rank. Finally, we show that Te has uniform p.p. elimination of imaginaries and deduce uniform weak elimination of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations