Grothendieck rings of o-minimal expansions of ordered abelian groups
通过引入有界欧拉示性数的概念，我们完全计算了序阿贝尔群的O-极小扩张的Grothendieck环在一阶逻辑意义下的性质.
2005-05-16 math.LO
Strong theories of ordered abelian groups
我们考虑有序阿贝尔群理论的强扩展。我们表明，假设的强度有许多理想的后果，在这样的理论中的可定义集的结构，特别是涉及到可定义的无限离散集。我们还提供了一系列的例子，强扩张的有序阿贝尔群证明了各种各样的理论。
2016-05-11 math.LO
Symmetrically complete ordered sets, abelian groups and fields
我们的特点和构造线性有序集，阿贝尔群和领域是{ \emph对称完整}，这意味着任何链的封闭有界区间的交集是非空的。这种有序的阿贝尔群和域是重要的，因为Banach的不动点定理的推广在它们中成立。证明了对称完备的序阿贝尔群和域分别是可分的Hahn积和实封闭的幂级数域。我们展示了如何扩展任何给定的有序集，阿贝尔群或领域的一个对称完成。本文的主要部分建立了一个详细的研究cut共尾性。
2013-08-04 math.LO
Interpreting formulas of divisible lattice ordered abelian groups
我们证明了一个大类的可分阿贝尔$\ell$ -群（格序群）的连续函数是可解释的（在一定意义上）在格的零集这些功能。这对这些$\ell$ -群的模型论有各种应用，包括可判定性结果。
2016-09-23 math.LO
Dp-minimal expansions of discrete ordered abelian groups
若$\mathcal{Z}$是离散序阿贝尔群$(Z,<,+)$的dp-极小展开，且$\mathcal{Z}$不允许非平凡可定义凸子群，则$\mathcal{Z}$与$(Z,<,+)$可互定义，且$(Z,<,+)$初等等价于$(\mathbb{Z},<,+)$ .
2020-04-27 math.LO
A Simple Proof of the Marker-Steinhorn Theorem for Expansions of Ordered Abelian Groups
基于对可定义在这种结构中的线性序的分析，我们给出了序群的o-极小展开的Marker-Steinhorn定理的一个简短而完备的证明。
2013-09-23 math.LO
Quantifier elimination in ordered abelian groups
用适当的语言给出了全序阿贝尔群理论中量词消去的一个新证明。更确切地说，这只是“相对于有序集的量词消除”。群中的每个可定义集合都是一个无量词可定义集合族的并集，其中该族的参数在一个排序中运行于一个可定义（有量词）的集合上，该排序携带一个有序集合的结构，并带有一些额外的一元谓词。作为推论，我们发现序阿贝尔群中的所有可定义函数都是关于n个可定义段的分段仿射线性函数。
2011-10-14 math.LO
c-Regular cyclically ordered groups
我们定义并刻画了正则和c-正则循环序阿贝尔群。证明了稠密c-正则循环序阿贝尔群初等等价于单模复数的循环序群，离散c-正则循环序阿贝尔群初等等价于有限循环群的超积，离散正则非c-正则循环序阿贝尔群初等等价于整数的线性循环序群.
2013-12-18 math.LO
A structure theorem for abelian quasi-ordered groups
引入相容拟序群的概念，统一了赋值和序阿贝尔群。Fakhruddin在一篇论文中证明了域上的相容拟序总是序或赋值。在这里，我们表明，组的情况下是更复杂的情况下，比字段和描述的一般结构的兼容准有序阿贝尔群。我们还提出了拟序极小的概念，并与C-极小建立了联系，从而回答了F. Delon的一个问题。
2018-02-13 math.LO
Forking and invariant types in regular ordered Abelian groups
本文研究正则有序阿贝尔群中分叉与不变类型的性质，证明了类型不叉过A的条件。
2024-10-04 math.LO
Stably Embedded Pairs of Ordered Abelian Groups
Universität Münster（明斯特大学）；Università degli Studi di Napoli Federico II（那不勒斯费德里科二世大学）；Technische Universität Dresden（德累斯顿工业大学）
研究有序阿贝尔群在给定初等扩张中的稳定嵌入条件，提出基于估值群的传递原理，证明了.lexicographic乘积中所有类型均可定义。
2026-03-30 math.LO
Definable Continuous Induction on Ordered Abelian Groups
正如数学归纳法被应用于证明自然数上的命题一样，{ \it连续归纳法}（或{ \it实归纳法}）是证明实分析中某些命题的工具。（虽然，这种比较有点言过其实。）本文首先考虑稠密序阿贝尔群上的Heine-Borel定理（每个闭有界区间关于序拓扑是紧的）。然后，使用最近引入的伪有限集的概念，我们介绍了一个一阶可定义版本的{ \it连续归纳}的语言序群群，我们用它来证明一个可定义版本的Heine-Borel定理的稠密有序阿贝尔群。
2017-03-16 math.LO
Arithmetic of Dedekind cuts of ordered Abelian groups
本文将线性序阿贝尔群上的Dedekind割集作为（0，<，+，-）语言上的一个结构来研究.此外，我们得到了一个简单的公理集的普遍的一部分，这种结构的理论。最后，我们证明了满足给定公理的每一个结构都是适当群上割集的子结构。
2008-12-16 math.LO
A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
本文引入了两种多排序的阿贝尔格架扩展，通过零集映射展示其等价于赋予格架的谱子空间，并利用经典部分消除量词的结果证明其中一个扩展具有模型伴侣。
2026-04-06 math.LO
A note on definable endomorphisms of ordered abelian groups
School of Mathematics, Guangxi University（广西大学数学学院）
该研究在有序阿贝尔群纯语言中肯定解答Kourovka笔记问题18.16，通过代数刚性定理得出相关结论，且无参数纯语言情形适用，扩张语言变体存在反例。
2026-08-19 math.LO
Elimination of imaginaries in Ordered Abelian groups with bounded regular rank
本文研究了几类纯序阿贝尔群的消元问题。对于有界正则秩的有序阿贝尔群类（等价于有限样条），我们得到弱消去的条件，只要我们对每个可定义凸子群$Δ$给商群$Γ/ Δ$加上排序，并对商群$Γ/ Δ+ lΓ$进行排序，其中$Δ$是可定义凸子群，$l \in \mathbb{N}_{\geq 2}$ .我们将这些排序称为\emph{quotient sorts}。对于dp-极小情形，如果我们还为每个$ \ell \in \mathbb{N}$添加常数以区分有限群$Γ/\ell Γ$的元素，则我们得到了完全消除的矩阵。
2022-05-09 math.LO
The Grothendieck ring of a non-divisible ordered abelian group is trivial
Heinrich Heine University Düsseldorf（杜塞尔多夫黑森大学）；McMaster University（麦克马斯特大学）；University of Münster（明斯特大学）
研究有序阿贝尔群的模型论格罗滕迪克环，发现除可除群外所有环均 trivial，揭示了非可除群的结构特性。
2026-03-30 math.LO
Logic and Partially Ordered Abelian Groups
具有序单位的偏序阿贝尔群中的单位区间构成区间效应代数（IEA），它可以作为形式演绎逻辑语义的代数模型。有一个范畴之间的范畴的IEA的和范畴的单群，使一个翻译的逻辑功能的IEA的代数属性相应的单群的范畴范畴的范畴等价。在本文中，我们研究IEA-单群连接，重点讨论IEA是布尔代数、量子逻辑、MV-代数或Heyting MV-代数的情况。
2005-04-27 math.LO
Topological properties of definable sets in ordered Abelian groups of burden 2
我们得到了关于负担2的负担群的稠密序阿贝尔群中一元可定义集的拓扑的一些新结果。在特殊的情况下，该结构具有dp-秩2，我们表明，存在一个无限的可定义的离散集排除了可定义的一组是密集和codense在一个区间，或一组拓扑上像康托中间三分之一集。如果结构具有负担2，并且无限离散集D和稠密-余稠密集X都是可定义的，则X的平移必须证明独立性。在最后一节中，给出了一类负担为2的序阿贝尔群的一个显式例子，其中无限离散集和稠密-余稠密集都是可定义的。
2022-11-18 math.LO
Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one
众所周知，任何阿贝尔{ \ell}-群G的所有主{ \ell}-理想的格Idc G是完全正规分配0-格，但不是每个完全正规分配0-格都是某个Idc G的同态像，通过基数反例证明$\aleph 2. We prove that every completely normal distributive 0-lattice with at most $ \aleph 1元是某个Idc G的同态像.通过Stone对偶，这意味着每个完全正规的广义谱空间，至多有$ \aleph 1个紧开集，同胚于某个阿贝尔{ \ell}-群的{\ell}-谱的谱子空间。
2022-06-20 math.LO
Left-ordered inp-minimal groups
本文证明左序 inp-极小群必为阿贝尔群，并构造了一个 dp-秩 2 的非阿贝尔左序群作为反例。
2017-08-14 math.LO
Definable Functions to Quotients in Ordered Abelian Groups
本文研究从有序阿贝尔群到自然出现的可定义商群的可定义函数族，证明任何可定义函数族都是分段线性的，且在特定条件下函数族是布尔组合的线性函数。
2026-03-31 math.LO
Discrete sets definable in strong expansions of ordered Abelian groups
研究强扩张序阿贝尔群中可定义无限离散集的结构，证明负担至多为n时D'操作n次得有限集，稠密序且负担为2时一元离散集可在(R; <, +, Z)初等扩张中定义。
2024-08-04 math.LO
Nonvaluational ordered Abelian groups of finite burden
本文研究有限 burden 的非赋值有序可除阿贝尔群扩张，证明其具有 $*$-局部弱 o-极小性，并完整描述了 burden 为二且定义无限离散集时的可定义集合。
2025-02-26 math.LO
Characterizing automorphism groups of ordered abelian groups
刻画了与序阿贝尔群的全自同构群同构的群。结果将遵循从经典定理的序群添加一个参数，从证明用于实现环作为自同态环的阿贝尔群。
2001-12-23 math.GR math.LO
Growing Spines: Ad Infinitum et Ad Infinitesimalia
Heinrich Heine University Düsseldorf（杜塞尔多夫海因里希·海涅大学）；Università degli Studi della Campania "Luigi Vanvitelli"（坎帕尼亚路易吉·凡维泰利大学）；Università degli Studi Roma Tre（罗马三大）；Zukunftskolleg, University of Konstanz（康斯坦茨大学未来学院）；Institute for Logic, Language and Computation, University of Amsterdam（阿姆斯特丹大学逻辑、语言与计算研究所）；KU Leuven（荷语鲁汶大学）
本文研究了有序阿贝尔群的扩张性质，证明了在字典序下存在非平凡的扩张，并探讨了其在赋值理论中的应用。
2025-12-04 math.LO
Number Systems with Simplicity Hierarchies II
在[15]中，J.H.超实数的Conway有序域No被推到前台，并被用来提供一个序域同构于No的初始子域的充要条件，即No的子域是No的初始子树。对序阿贝尔群和序整环建立了类似的结果，这些结果又被用来刻画凸子群，No的初始子域的凸子域，它们本身是初始的。进一步证明了No的初始子域是离散的当且仅当它是No的全整数的标准整数部分Oz的初始子域。最后，推广了[15]的结果，证明了可分序阿贝尔群和实闭序域的理论是序阿贝尔群和序域的唯一理论，它们的模型都同构于No.
2015-12-13 math.LO
Model theory of divisible abelian cyclically ordered groups and minimal C. O. G
给出了循环序群模型论的一些结果.我们开始与可分阿贝尔循环序群的完整理论的分类。然后，我们看看循环序群的唯一参数可定义的子集是有限联盟的单例和开区间，和那些可定义的子集是有限联盟的单例和c-凸子集，其中是c-凸的是类似的是凸的线性有序的情况下。
2021-11-16 math.LO math.RA
Know Your Rank!
本文构造了具有特定结构的有序域和阿贝尔群，证明了它们的可定义等级同构，解决了相关问题。
2025-12-20 math.LO
Proof Theory and Ordered Groups
利用序定理，刻画了群的偏序扩展到全序的情形，生成了各种格序群（l-群）的超代数演算。这些结石，然后用来提供新的证明定理所产生的理论，序群。更准确地说：使用阿贝尔群的排序定理生成阿贝尔L群的分析演算;生成L群的演算，并获得该簇的方程理论的新的可判定性证明，并将自由群的有限子集扩展到右序;生成可表示L群的演算，并获得自由群是可排序的新的证明。
2017-08-02 math.LO
On dp-minimal ordered structures
我们展示了一些关于dp-极小序结构的基本事实。主要结果如下：dp-极小群是有限指数阿贝尔群，在可分序dp-极小群中，任何无限集都有非空的内部，任何纯树理论都是dp-极小的.
2009-09-23 math.LO
Strongly Dependent Ordered Abelian Groups and Henselian Fields
本文刻画有限dp-秩的强依赖有序阿贝尔群，并据此证明强依赖域上任意Henselian赋值所形成的赋值域仍为强依赖。
2024-04-07 math.GR math.LO
Equivalence à la Mundici for commutative lattice-ordered monoids
我们给出了Mundici关于有单位元的阿贝尔格序群与MV-代数之间等价性的推广：有单位元的交换格序群范畴等价于MV-幺半群代数范畴。粗略地说，我们称之为单位交换格序群的结构是没有一元运算$x \mapsto -x$的单位阿贝尔格序群.基本操作是$+$、$\lor$、$\land$、$0$、$1$、$-1$。这些结构的一个主要例子是$\mathbb{R}$，其操作的解释是显而易见的。类似地，MV-幺半群代数是没有否定$x \mapsto \lnot x$的MV-代数。基本操作是$\oplus$、$\odot$、$\lor$、$\land$、$0$、$1$。MV-幺半群代数的一个启发性例子是标准MV-代数$[0, 1] \subseteq \mathbb{R}$的无负约简。我们得到原来的蒙迪奇的等价作为我们的主要结果的推论。
2021-04-19 math.LO
First order theory of cyclically ordered groups
根据Rieger定理（1956），存在一对一的对应关系，给每个循环序群$H$分配一对$(G,z)$，其中$G$是全序群，$z$是$G$中心的元素，生成$G$的共尾子群$\langle z\rangle$，并且使得商群$G/\langle z\rangle$同构于$H$。我们首先建立，在这个对应，循环有序群$H$的一阶理论是唯一确定的对$(G,z)$的一阶理论。证明了循环序群类是一个基本类，并给出了它的一个公理系统，最后证明了与全Abel序群的所有理论具有相同的泛部分相反，存在无数个Abel循环序群的泛理论.我们给每个这些普遍理论的一个不变量，这是一对子群的一组单模复数。
2013-11-03 math.LO
The Amalgamation Property for automorphisms of ordered abelian groups
University of Manchester（曼彻斯特大学）；Instytut Matematyczny Uniwersystet Wrocławski（弗罗茨瓦夫大学数学研究所）；Università di Pisa（比萨大学）
证明带有自同构的有序阿贝尔群范畴具有合并性质，推出其归纳理论在正逻辑意义下是NIP的，并初步发展了正逻辑框架。
2026-06-29 math.AC math.LO
Simplicial geometry of unital lattice-ordered abelian groups
所谓$\ell$ -群$G$，我们是指格序阿贝尔群。本文研究了由{ \it unital} $\ell$ -群构成的范畴$\FP$，这些$\ell$ -群具有一个特殊的序单位$u$ .利用$\FP$与有理多面体范畴之间的对偶性，我们将给出（i）$\FP$中有限极限和余极限的构造;（ii）关于可表示有单位$\ell$ -群的Cantor-Bernstein-Schröder定理;（iii）$\FP$的自由对象的可表示生成子代数的几何刻画.
2012-02-21 math.CO math.LO
Uniquely Transitive Torsion-free Abelian Groups
我们将回答一个问题所提出的埃马纽埃尔Dror Farjoun关于存在的无挠的阿贝尔群G，使任何序偶的纯元素有一个独特的自同构映射的第一个元素到第二个。我们将证明对于任何后继基数lambda=mu^+且mu=mu^{aleph_0}，存在这样一个基数lambda群。
2004-04-14 math.LO
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
推广Di Nola和Lettieri的范畴等价，建立了格序阿贝尔群理论与完备MV-代数理论之间的Morita等价.此外，在观察到这两个理论在经典意义上是不可解释的，我们确定，通过考虑适当的拓扑理论的不变量在其共同的分类拓扑，三个层次的bib-interpretability持有特定类别的公式：不可约的公式，几何句子和constituaries。最后，通过研究完备MV-代数理论的分类主题，得到了与Chang的MV-代数生成的簇的Carnival理论有关的各种句法和语义结果，包括Chang的MV-代数生成的簇的Carnival理论的Carnival可表示模型作为Carnival可表示完备MV-代数的有限积的具体表示。在所建立的结果中，我们提到了格序阿贝尔群理论与可消格序底元阿贝尔幺半群理论之间的Morita等价性。
2014-09-16 math.CT math.GR math.LO
The Riesz hull of a semisimple MV-algebra
MV-代数和Riesz MV-代数分别与具有强单位的交换格-序群和具有强单位的Riesz空间（向量格）范畴等价.格序群的一个标准构造是阿基米德格序群的向量格壳。遵循类似的方法，本文定义了半单MV-代数的Riesz壳。
2014-10-30 math.LO
From partially ordered monoids to partially ordered groups via free nuclear preimages
在剩余格和偏序幺半群上有两种基本的构造，即所谓的核象和余核象。核映象允许我们从可消的序代数中构造出许多非经典逻辑中出现的序代数（如pomnix、半格序幺半群和剩余格）。余核象则允许我们从偏序群或格序群中构造某些可消代数。除其他事项外，我们表明，有限（交换）积分剩余格正是有限核图像的交换cancellative积分剩余格和（交换）整闭pomentum正是核图像的subpomentum偏序（阿贝尔）组。关键的结构是pomatron的自由核原像。作为我们研究自由核原像的一个副产品，我们得到了核像下闭的半格序幺半群和半格序幺半群的拟簇的句法刻画。
2023-02-01 math.LO
Dp and other minimalities
UC Berkeley（加州大学伯克利分校）；University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）
本文证明了 dp-最小扩张与 o-最小扩张之间的等价性，并探讨了多种数学结构中的 dp-最小性性质及应用。
2022-02-10 math.LO
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
我们定义了一类预序阿贝尔群，我们称之为有限Presburger群，并证明了他们的理论是模型完备的。我们证明了特征为零的局部域的乘法群的某些子环是Presburger有限的，并解释了局部域的高阶剩余环。我们应用这些结果给出了特征为零的局部域的环语言中的模型完全性的新证明（这一结果也来自Prestel-Roquette的工作）。
2016-03-29 math.LO
Cardinality of the sets of dimension functions in ordered structures
Japan Coast Guard Academy（日本海上保安大学校）
本文研究了有序结构中维度函数集合的基数，证明了在特定条件下该基数的上界和具体值的确定。
2026-02-09 math.LO
Subvarieties of pointed Abelian l-groups
Institute of Computer Science, Czech Academy of Sciences（捷克科学院计算机研究所）；Department of Algebra, Faculty of Mathematics and Physics, Charles University（查理大学数学物理学院代数系）
本文通过两种方法对带指定点的阿贝尔格栅群的子品种和子拟品种进行完整分类，提出新的等价基并证明Mundici的Γ函子保持普遍类。
2026-07-21 cs.LO math.LO
Additive Gödel Logic
研究了\g命题逻辑的一个推广，其对应的代数是一个有序的阿贝尔群.然后将其推广到一阶情形。
2018-11-07 math.LO
Definable ranks
Universität Zürich（苏黎世大学）；Fachbereich Mathematik und Statistik, Universität Konstanz（康斯坦茨大学数学与统计系）；Institut für Interdisziplinäre Sprachevolutionswissenschaft, Universität Zürich（苏黎世大学跨学科语言进化科学研究所）
本文提出有序域和群的可定义阶数概念，探讨其与自然赋值价值群的关系，并引入可定义凝结用于进一步研究。
2026-01-09 math.AC math.LO
Groups with infinite linearly ordered products
本文提出无限线性有序乘积的形式体系，用于定义超序列等幂级数群中的无限复合，并证明此类群可表示为有序阿贝尔群的半直积。
2025-09-12 math.GR math.LO
A family of dp-minimal expansions of $(\mathbb{Z};+)$
我们表明，循环有序阿贝尔群扩展$(\mathbb{Z};+)$包含一个连续大小的家庭的dp-极小结构，使没有两个成员定义相同的子集的$\mathbb{Z}$。
2017-11-13 math.LO
Spectral spaces of countable abelian lattice-ordered groups
一个紧拓扑空间X是谱的，如果它是sober（即，每个不可约闭集都是唯一单点集的闭包），X的紧开子集形成X的拓扑的基，在有限相交下是闭的。定理一个拓扑空间X同胚于某个可数阿贝尔{ \ell }-群的具有单位元的谱（分别为，MV-代数）当且仅当X是谱的，有开集的可数基，并且对于单点{z}的闭包中的任何点x和y，要么x在{y}的闭包中，要么y在{x}的闭包中。我们证明了一个可数分配格D与阿贝尔{ \ell }-群的所有主理想的格同构（我们称D是{ \ell }-可表示的）当且仅当对所有a，b $\in$ D存在x，y $\in$ D使得a $\lor$ b = a $\lor$ y = b $\lor$ x且x $\land$ y = 0.另一方面，我们构造了一个基数为$\aleph$ 1的非{ \ell }-可表示的有界分配格，它具有一个{ \ell }-可表示的可数L $\infty, ω$ -初等子格.特别地，没有任何L $\infty, ω$语句类对任意基数的所有{ \ell }-可表示分配格类的刻画。
2017-11-30 math.LO math.RA
Dimensions on Lattice Ordered Abelian Groups and Model Theory of Modules over Prüfer Domains
我们证明了一个转移定理，当结合Jaffard-Kaplansky-Ohm定理，允许在Bézout域上的模的模型论中的结果通过它们的值群被转化为Prüfer域上的结果。推广了Puninski和Toffalori的工作，证明了Prüfer整环的值群的扩张正锥有m维当且仅当其pp- $1$ -公式格有宽度（等价宽度）且这些维数相等.进一步，我们证明了这些维数的存在性等价于pp- $1$ -公式的格具有m维（从而等价于它的Ziegler谱具有Cantor-Bendixson秩）和不存在可叠加的纯内射模.最后，我们根据Prüfer整环的值群的扩张正锥的m维给出了其pp-PDMATHAMM-格的m维的一个最佳可能上界，并证明了对于PDMATHAMO为极限序数的情形，所有不具有$λ+1$形式的序数都作为Bézout整环的pp- $1$ -格的m维出现.
2022-02-16 math.AC math.LO math.RA
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
我们研究MV-代数的表示-等价地，酉格序阿贝尔群-通过斯通-普里斯特利对偶的镜头，使用典型的扩展作为一个重要的工具。具体地说，标准扩张理论意味着MV-代数的（Stone-Priestley）对偶空间具有拓扑部分交换序半群的结构。我们使用这种结构，以获得两个不同的分解这样的空间，一个索引的主要MV-频谱，其他的最大MV-频谱。这些分解产生层表示的MV-代数，使用一个新的和纯粹的对偶理论的结果，涉及某些层表示的分配格分解的对偶空间。重要的是，我们用这种方法得到的MV-代数表示定理的证明与已有的关于这一主题的工作的区别在于：（1）我们只使用MV-代数的基本代数事实;（2）我们证明了上述两个层表示是一个共同结果的特殊情况，具有推广的潜力;（3）证明了这些结果与MV-代数的Stone-Priestley图的结构密切相关。此外，利用我们对这些分解的分析，我们证明了具有同构基格的MV-代数具有同胚的极大MV-谱。这个结果是Kaplansky经典定理的MV-代数推广，Kaplansky定理指出两个紧致T2空间是同胚的当且仅当空间上的连续[0，1]值函数格是同构的。
2014-06-10 math.GN math.GR math.LO
Automorphism groups of linearly ordered structures and endomorphisms of the ordered set $(\mathbb{Q},{\leq})$ of rational numbers
研究了有理数序集$(\mathbb{Q},{\leq})$的自同态幺半群的结构。证明了对任意可数线性序集$Ω$，存在不可数个$\operatorname{End}(\mathbb{Q},{\leq})$的极大子群同构于$Ω$的自同构群.我们将$\mathbb{Q}$的子集$X$作为$(\mathbb{Q},{\leq})$中的一个收缩而产生的关于$X$的拓扑信息来表示。最后，我们建立了一个可数群作为一个可数线性序集的自同构群，从而作为$\operatorname{End}(\mathbb{Q},{\leq})$的极大子群，当且仅当它是有限秩的自由交换群。
2018-07-03 math.GR math.LO
Growing Spines Ad Infinitum
本文证明每个非平凡有序阿贝尔群可被无限元素增广，并应用该结论证明了特征为0的域非$t$-henselian与所有剩余域为$k$的henselian赋值可定义的等价性。
2025-04-07 math.GR math.LO
Exponentiation in power series fields
证明了对任意非平凡的序阿贝尔群G，序幂级数域R（（G））有指数，即它的序加法群与它的正元素序乘法群同构，但有非满射对数.对于任意的序域k，k（（G））上的指数都不是相容的，即通过剩余映射导出k上的指数.证明了这一点，表明某些函数方程字典的权力有序集是不可解的。
1996-08-15 math.AC math.LO math.RA
