论文标题
有关字段中存在性不可证明的两个示例
Two examples concerning existential undecidability in fields
论文作者
论文摘要
我们构建了一个存在性的混合特征的完全不可决定的完全评估的混合特征和可确定的残基场和可确定的代数部分，以强烈的方式回答了Anscombe-Fehm的问题。在此过程中，我们构建了一个存在性的积极特征的现有领域，并具有存在的有限扩展，从而修改了由于kesavan thanagopal引起的结构。
We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal.
