Order:
Disambiguations
David Pierce [5]David C. Pierce [2]
  1.  15
    Model-Theory of Vector-Spaces Over Unspecified Fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
    Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed fields is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  49
    Differential Forms in the Model Theory of Differential Fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
    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.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  2
    Fields with automorphism and valuation.Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay & David Pierce - 2020 - Archive for Mathematical Logic 59 (7-8):997-1008.
    The model companion of the theory of fields with valuation and automorphism exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  6
    Fields with Several Commuting Derivations.David Pierce - 2014 - Journal of Symbolic Logic 79 (1):1-19.
    For every natural numberm, the existentially closed models of the theory of fields withmcommuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on the characteristic of the underlying field.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    Lévi-Strauss.David C. Pierce - 1979 - International Philosophical Quarterly 19 (4):381-406.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Map Learning with Uninterpreted Sensors and Effectors.David Pierce & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):169-227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation