Spherically complete models of Hensel minimal valued fields

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-07-28 DOI:10.1002/malq.202100055

David B. Bradley-Williams, Immanuel Halupczok

引用次数: 1

Abstract

We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is 0-h^mix-minimality (which, in equi-characteristic 0, amounts to 0-h-minimality).

查看原文本刊更多论文

Hensel极小值域的球完全模型

我们证明了有限分枝Henselian值域的Hensel极小展开允许球完全直接初等展开。更准确地说，我们使用的Hensel极小性的版本是0-hmix极小性（在等特征0中，相当于0-h极小性）。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.