Özlem BeyarslanDaniel Max HoffmannGönenç OnayDavid Pierce
所有作者
Özlem BeyarslanDaniel Max HoffmannGönenç OnayDavid Pierce
文献摘要
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 and an automorphism.