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  
  • (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  
  • Subgroups of the additive group of a separably closed field.Thomas Blossier - 2005 - Annals of Pure and Applied Logic 134 (2-3):169-216.
    We study the infinitely definable subgroups of the additive group in a separably closed field of finite positive imperfection degree. We give some constructions of families of such subgroups which confirm the diversity and the richness of this class of groups. We show in particular that there exists a locally modular minimal subgroup such that the division ring of its quasi-endomorphisms is not a fraction field of the ring of its definable endomorphisms, and that in contrast there exist 20 pairwise (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (15 other versions)2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
    Download  
     
    Export citation  
     
    Bookmark