3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.LO2017
Fields with automorphism and valuation
Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay +1
Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation an…
math.LO2013
Chains of Theories and Companionability
Özcan Kasal, David Pierce
The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable; but if the axiom is added whereby the characteristic of the f…
math.LO2007★ 3 cited
Fields with several commuting derivations
David Pierce
For every natural number , the existentially closed models of the theory of fields with commuting derivations can be given a first-order geometric characterization in severa…