arXiv 0705.18502007-05-13math.LOmath.GR

The Schroder-Bernstein property for theories of abelian groups

John Goodrick

备注：: 17 pages

英文摘要：

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the Schroder-Bernstein property; 2. Th(G, +) is omega-stable; 3. G is the direct sum of a divisible group and a torsion group of bounded exponent; 4. Th(G, +) is superstable, and if (H, +) is a saturated elementary extension of (G,+), every map in Aut(H/H^0) is unipotent.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The Schroder-Bernstein property for a-saturated models

A first-order theory T has the Schröder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and non-multidimensional. We also prove that among superstable theories T, the class of a-saturated models of T has the SB property if and only if T has no nomadic types.

2012-04-15math.LO

The Schröder-Bernstein property for weakly minimal theories

For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory has no infinite collection of pairwise bi-embeddable, pairwise nonisomorphic models. We conclude that for countable weakly minimal theories, the Schroeder-Bernstein property is absolute between transitive models of ZFC.

2009-12-07math.LO

具有 Schröder-Bernstein 性质的一般实值理论是稳定的

General real-valued theories with the Schröder-Bernstein property are stable

本文证明了具有 Schröder-Bernstein 性质的 Keisler 风格一般实值理论是稳定的，推广了经典逻辑中的相应结果，并探讨了该技术在连续理论中的适用性。

2025-10-13math.LO

The Cantor-Schröder-Bernstein Theorem for $\infty$-groupoids

We show that the Cantor-Schröder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in the language of homotopy type theory, or Voevodsky's univalent foundations (HoTT/UF), and requires classical logic. It follows that the theorem holds in any boolean $\infty$-topos.

2020-08-26math.AGmath.LO

Hilbert空间上算子的Schröder-Bernstein性质

The Schröder-Bernstein property for operators on Hilbert spaces

本文证明了配备正规算子的Hilbert空间的完备理论具有Schröder-Bernstein性质，回答了相关提问，并对无界自伴算子证明了类似结论。

2025-08-14math.FAmath.LOmath.SP

The Cantor-Bernstein-Schroder theorem in algebra

The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to σ-complete Boolean algebras. After this, numerous generalizations of the CBS-theorem, extending the Sikorski-Tarski version to different classes of algebras, have been established. Among these classes there are lattice ordered groups, orthomodular lattices, MV-algebras, residuated lattices, etc. This suggests to consider a common algebraic framework in which various versions of the CBS-theorem can be formulated. In this work we provide this algebraic framework establishi…

2017-08-13math.LO

更多相关论文收起更多论文

Borel复杂度与Schröder-Bernstein性质

Borel Complexity and the Schröder-Bernstein Property

本研究提出Borel可归约性的新不变量“厚度”，证明挠阿贝尔群的所有Friedman-Stanley跳跃非Borel完全，并在大基数假设下证明具有Schröder-Bernstein性质的$\u27e8\ucf79_{\u03c9_1 \u03c9}$语句非Borel完全。

2024-07-14math.LO

一类可数线性序的Cantor-Schröder-Bernstein定理

Cantor-Schröder-Bernstein theorem for a class of countable linear orders

本文定义了非空可数线性序集合的shuffle，并证明了任何作为凸子集相互嵌入的两个可数shuffle都是序同构的，从而将该类结构的Cantor-Schröder-Bernstein定理推广至可数shuffle。

2024-11-18math.COmath.LO

When does elementary bi-embeddability imply isomorphism?

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is superstable and has NDOP and NOTOP) and satisfies a slightly stronger condition than nonmultidimensionality, namely: there cannot be a model M of T, a type p over M, and an automorphism f of M such that for every two distinct natural numbers i and j, f^i(p) is orthogonal to f^j(p). We also make some conjectures about how the class of theories with the Schrode…

2007-05-13math.LO

Torsion-Free Abelian Groups are Consistently $a Δ^1_2$-complete

Let $\mbox{TFAG}$ be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of $ZFC^- + κ(ω)$ exists, then $\mbox{TFAG}$ is $a Δ^1_2$-complete; in particular, this is consistent with $ZFC$. We define the $α$-ary Schröder- Bernstein property, and show that $\mbox{TFAG}$ fails the $α$-ary Schröder-Bernstein property for every $α< κ(ω)$. We leave open whether or not $\mbox{TFAG}$ can have the $κ(ω)$-ary Schröder-Bernstein property; if it did, then it would not be $a Δ^1_2$-complete, and hence not Borel complete.

2018-04-22math.LO

Tarski 定理的一个模型论版本

A definable matching theorem and approximate Grothendieck semigroups

Kurt Gödel Research Center for Mathematical Logic, Universität Wien（库尔特·哥德尔数学逻辑研究中心，维也纳大学）

本文在任意模型论结构中挑出一类允许接近完美匹配的可定义二部图，并以此证明了可定义设定下 Tarski 定理的加强版本。

2026-10-14math.LO

Simplicial geometry of unital lattice-ordered abelian groups

By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder theorem for finitely presented unital $\ell$-groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $\FP$.

2012-02-21math.COmath.LO

度量结构上的SB性质

SB-property on metric structures

本文研究连续理论上的Schröder-Bernstein性质，证明希尔伯特空间及概率代数理论满足该性质，并探讨扰动版本及随机化行为，最后证明严格稳定理论不具备该性质。

2024-03-15math.LO

(寻找)阿贝尔波兰群的核心

(Looking For) The Heart of Abelian Polish Groups

本文证明带有 Polish 覆盖的阿贝尔群范畴是拟阿贝尔范畴的左核心，满足特定泛性质，并推广至多种带拓扑代数结构范畴的左核心描述。

2023-07-30math.CTmath.FAmath.GR