Differential forms in the model theory of differential fields

Creative Commons License

Pierce D.

JOURNAL OF SYMBOLIC LOGIC, cilt.68, sa.3, ss.923-945, 2003 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 68 Sayı: 3
  • Basım Tarihi: 2003
  • Doi Numarası: 10.2178/jsl/1058448448
  • Dergi Adı: JOURNAL OF SYMBOLIC LOGIC
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.923-945
  • Orta Doğu Teknik Üniversitesi Adresli: Hayır

Özet

Fields of characteristic zero with several commuting derivations can be treated as fields equipped with a space of derivations that is closed under the Lie bracket. The existentially closed instances of such structures can then be given a coordinate-free characterization in terms of differential forms. The main tool for doing this is a generalization of the Frobenius Theorem of differential geometry.