Universal-existential theories of fields
arxiv(2024)
摘要
We study various universal-existential fragments of first-order theories of
fields, in particular of function fields and of equicharacteristic henselian
valued fields. For example we discuss to what extent the theory of a field k
determines the universal-existential theories of the rational function field
over k and of the field of Laurent series over k, and we find various many-one
reductions between such fragments.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要