16 found
Order:
  1.  9
    Minimal Types in Separably Closed Fields.Zoé Chatzidakis & Carol Wood - 2000 - Journal of Symbolic Logic 65 (3):1443-1450.
  2.  5
    Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
    The stability of each of the theories of separably closed fields is proved, in the manner of Shelah's proof of the corresponding result for differentially closed fields. These are at present the only known stable but not superstable theories of fields. We indicate in § 3 how each of the theories of separably closed fields can be associated with a model complete theory in the language of differential algebra. We assume familiarity with some basic facts about model completeness [4], stability (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  3.  15
    Forcing for Infinitary Languages.Carol Wood - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):385-402.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  5
    Finite QE Rings in Characteristic P2.Dan Saracino & Carol Wood - 1985 - Annals of Pure and Applied Logic 28 (1):13-31.
  5.  2
    Forcing for Infinitary Languages.Carol Wood - 1972 - Mathematical Logic Quarterly 18 (25‐30):385-402.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  8
    Separably Closed Fields with Higher Derivations.Margit Messmer & Carol Wood - 1995 - Journal of Symbolic Logic 60 (3):898-910.
    We define a complete theory SHF e of separably closed fields of finite invariant e (= degree of imperfection) which carry an infinite stack of Hasse-derivations. We show that SHF e has quantifier elimination and eliminates imaginaries.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  1
    Separably Closed Fields with Higher Derivations I.Margit Messmer & Carol Wood - 1995 - Journal of Symbolic Logic 60 (3):898-910.
  8. Homogeneous Finite Rings in Characteristic 2n.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
  9. Homogeneous Finite Rings in Characteristic 2< Sup> N.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
  10.  8
    2003-04 Winter Meeting of the Association for Symbolic Logic, Phoenix Civic Plaza, Phoenix, Arizona, January 9-10, 2004.Carol Wood - 2004 - Bulletin of Symbolic Logic 10 (2):281-289.
  11.  5
    Phoenix Civic Plaza, Phoenix, Arizona, January 9–10, 2004.Matthew Foreman, Steve Jackson, Julia Knight, R. W. Knight, Steffen Lempp, Françoise Point, Kobi Peterzil, Leonard Schulman, Slawomir Solecki & Carol Wood - 2004 - Bulletin of Symbolic Logic 10 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  4
    New Orleans Marriott and Sheraton New Orleans New Orleans, Louisiana January 7–8, 2007.Matthew Foreman, Su Gao, Valentina Harizanov, Ulrich Kohlenbach, Michael Rathjen, Reed Solomon, Carol Wood & Marcia Groszek - 2007 - Bulletin of Symbolic Logic 13 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  7
    Prime Model Extensions for Differential Fields of Characteristic P ≠.Carol Wood - 1974 - Journal of Symbolic Logic 39 (3):469 - 477.
  14.  2
    2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.
  15.  1
    Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
  16. Finite QE Rings in Characteristic< I> P_< Sup> 2.Dan Saracino & Carol Wood - 1985 - Annals of Pure and Applied Logic 28 (1):13-31.
     
    Export citation  
     
    My bibliography