首页/论文/0705.4126

arXiv 0705.41262007-05math.LO

EF等价非同构模型

EF equivalent not isomorphic models

Saharon Shelah

发表信息：: Proc. Amer. Math. Soc. 136 No. 12 (2008) 4405--4412

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们构造非同构模型M，N，例如基数aleph_1，使得在长度zeta < omega_1的Escherichfeucht-Fraisse博弈中同构参与者获胜

英文摘要：

We construct non-isomorphic models M, N, e.g. of cardinality aleph_1 such that in the Ehrenfeucht-Fraisse game of length zeta < omega_1 the isomorphism player wins

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

EF-等价非同构模型的存在性

Existence of EF-equivalent Non Isomorphic Models

我们证明了存在对模型的基数相同的lambda是非常等效的EF游戏，但不同构。我们继续纸上数学。LO/0404222，但我们不依赖它。

2006-12-09math.LO

算术与集合论的高度等价非同构可数模型

On highly equivalent non-isomorphic countable models of arithmetic and set theory

众所周知，一阶佩亚诺公理PA具有一个非同构可数模型的连续统。这个问题，如何接近同构这样的可数模型，似乎是研究较少。可数模型同构的接近程度的度量是它们之间可以建立的来回序列的长度。我们发现，对于每一个可数序数α有可数非同构模型PA之间的长度α的来回序列。这意味着这些模型的Scott高度（或等级）大于$α$。我们也证明了同样的结果ZFC模型。

2022-08-27math.LO

关于L_{infty,omega_1} -等价非同构模型的个数

On the number of L_{infty,omega_1}-equivalent non-isomorphic models

我们证明了如果ZF是相容的，那么ZFC+GCH与下面的陈述是相容的：对于每一个k<Ω，存在一个基数aleph_1的模型，它是L_{infty,omega_1} -等价于恰好k个基数aleph_1的非同构模型。为了得到这个结果，我们引入了不同于"标准“对应物的梯系和着色，并证明了以下纯组合结果：对于每个素数p和正整数m，存在一个”好“梯系恰好具有p^m个两两不等价的着色，这与ZFC+GCH是一致的。

1999-08-30math.LO

EF-等价非同构模型理论

Theories with EF-Equivalent Non-Isomorphic Models

我们的“长期和大规模”的目标是刻画一阶理论T（至少是可数理论），使得：对于每个序数α，存在λ，M_1，M_2，使得M_1，M_2是基数λ的T的非同构模型，它们是EF_{alpha, lambda} -等价的。我们期望，在主间隙中，我们得到一个强的二分法，因此在非结构方面，我们有更强，更好的例子，在结构方面，我们有一个平行的[Sh：c，XIII]。本文证明了T的非结构边的相容性，它是aleph_0-独立的（=非强依赖的），甚至对PC（T_1，T）也是如此。

2017-08-07math.LO

kappa弱紧的L_{infty,kappa} -等价非同构模型的个数

The number of L_{infty,kappa}-equivalent non-isomorphic models for kappa weakly compact

对于基数kappa和基数kappa的模型M，设No（M）表示与M等价的L_{infty,kappa}的基数kappa的非同构模型的数量。Shelah在[Sh：133]中证明了当kappa是弱紧基数且mu<=kappa是非零基数时，存在基数kappa的模型M，其中No（M）=mu.本文证明了，如果kappa是弱紧基数，则基数kappa的模型M的No（M）的可能值问题等价于V_kappa上可由Sigma^1_1-定义的等价关系的等价类的可能个数问题。在数学.LO/9911231中，我们证明了在奇异基数假设下，Sigma^1_1-等价关系的等价类的可能个数是完全可控的。这些结果解决了在奇异基数假设成立的条件下，弱紧基数模型的No（M）的可能值问题.

1999-11-29math.LO

一类长EF-等价非同构模型

A long EF-equivalence non isomorphic models

有很多兴趣构建模型，这些模型不是基数lambda同构的，但在长度为alpha的Escherichfeucht-Fraisse博弈下是等价的，即使对于每个alpha<lambda。所以在G.C.H.我们知道很多。我们在这里处理的ZFC证明，并在温和的条件下得到的存在性这样的模型对的结构。

2004-04-13math.LO

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

关于逆Gamma-系统和lambda奇异的L_{infty,lambda} -等价、非同构模型的个数

On inverse gamma-systems and the number of L_{infty,lambda}-equivalent, non-isomorphic models for lambda singular

设lambda是一个共尾性kappa不可数的奇异基数。对于基数为λ的模型M，令No（M）表示基数为λ的模型N的同构类型的数量，这些类型是L_{infty lambda} -等价于M。在[Sh：189]中，考虑了阿贝尔群的逆卡帕系A及其某种商极限Gr（A）/Fact（A）.证明了对任意基数μ，存在逆kappa-系A，使得A由基数至多为μ ^kappa的阿贝尔群组成，且卡（Gr（A）/Fact（A））= μ.在[Sh：228]中证明了逆卡帕系统与No的可能值之间的严格联系。在本文中，我们显示：对于每个非零的mu <= λ ^kappa，存在具有基数<λ的阿贝尔群的逆kappa系统A，使得card（Gr（A）/Fact（A））= mu（假设对于所有θ λ，2 ^kappa <λ和θ ^{< kappa}<λ），具有关于No的可能值的明显的新结果。具体地< lambda when mu >，当对于每一个θ <λ，θ ^kappa <λ时，情况No（M）= λ是可能的。

1998-07-15math.LO

直角Coxeter群与有限阿贝尔群的图积的初等等价

Elementary equivalence of right-angled Coxeter groups and graph products of finite abelian groups

证明了有限阿贝尔群的图积初等等价当且仅当它们是$\exists\forall$ -等价的当且仅当它们是同构的.特别地，两个直角Coxeter群初等等价当且仅当它们同构。

2008-11-03math.GRmath.LO

具有非同构超幂的II_1因子

II_1 factors with non-isomorphic ultrapowers

我们证明了存在不可数多个可分的II $_1$因子，其超幂（相对于任意超滤子）是非同构的。事实上，我们证明，家庭的非同构II $_1$因素最初介绍了麦克达夫\cite{MD69a,MD69b}是这样的例子。这就需要存在一个连续的非elementarily等价的II $_1$因素，从而解决了一个著名的开放问题，在连续模型论的算子代数。

2016-07-29math.LOmath.OA

差异万岁I：可数模型超幂的非同构

Viva la difference I: Nonisomorphism of ultrapowers of countable models

证明了在ZFC中不能证明任意两个可数的初等等价结构相对于Ω上的某个超滤子具有同构的超幂。

1991-01-15math.LO

度量结构的约化积：一个度量Feferman-Vaught定理

Reduced products of metric structures: a metric Feferman-Vaught theorem

我们将经典的Feferman-Vaught定理推广到度量结构的逻辑。这意味着基本等价结构的约化幂是基本等价的，因此它们在连续统假设下是同构的。我们还证明了存在两个形式为$\bigoplus_i M_{k(i)}(\mathbb{C})$的可分C*-代数，使得它们的冠同构的断言独立于ZFC，这给出了具有此性质的可分C*-代数的真正非交换冠的第一个例子。

2016-04-05math.LOmath.OA

有限型Artin群的初等等价

Elementary equivalence in Artin groups of finite type

有限型的不可约Artin群可以通过其相关的Coxeter图参数化为六个零星的例子和四个无限族，每个无限族进一步由自然数参数化。在这四个无限族中，我们研究了初等等价和同构之间的关系。对于四个家族中的三个家族，我们证明了同一家族中的两个群是等价的当且仅当它们是同构的;对于第四个家族，也得到了一个积极的，但较弱的结果。特别地，我们证明了两个辫群初等等价当且仅当它们同构。作为我们工作的结果，我们证明了有限型不可约Artin群存在无穷多个初等等价类。我们还表明，映射类群的闭曲面-一个几何模拟的辫群-是初等等价的，当且仅当它们是同构的。

2018-04-11math.GRmath.LO

基于Henson图的约简分类的Sym $(\mathbb{N})$的$2^{\aleph_0}$两两非同构极大闭子群

$2^{\aleph_0}$ pairwise non-isomorphic maximal-closed subgroups of Sym$(\mathbb{N})$ via the classification of the reducts of the Henson digraphs

给定同一域上的两个结构$\mathcal{M}$和$\mathcal{N}$，我们说$\mathcal{N}$是$\mathcal{M}$的约简，如果$\mathcal{N}$的所有$\emptyset$可定义关系在$\mathcal{M}$中都是$\emptyset$可定义的.本文对Henson有向图的约简进行了分类。Henson有向图是一类省略了有限竞赛图的齐次可数有向图。由于Henson有向图是$\aleph_0$ -范畴的，确定它们的约简等价于确定它们的自同构群的所有闭超群$G<$ Sym $(\mathbb{N})$。分类的一个结果是，存在$2^{\aleph_0}$两两非同构的Henson有向图，它们没有适当的非平凡约简。以他们的自同构群给出了一个肯定的答案麦克弗森的一个问题，问是否有$2^{\aleph_0}$成对非共轭最大闭子群的Sym $(\mathbb{N})$。根据Rubin的重构结果，这些群也是非同构的抽象群。

2015-09-25math.COmath.GRmath.LO

一个与其对立面不同构的单AF代数

A simple AF algebra not isomorphic to its opposite

证明了存在一个简单的核不可分C* 代数-代数与它的反代数不同构，这与ZFC是一致的。我们还可以保证这个例子是Cuntz代数O_2或CAR代数的单位拷贝的归纳极限。

2017-03-30math.LOmath.OA

区分McDuff的II $_1$因子的显式语句

Explicit sentences distinguishing McDuff's II$_1$ factors

最近，Boutonnet，Chifan和Ioana证明了McDuff的例子连续多两两非同构可分II $_1$因素实际上是两两非元素等价的。他们的证明继续表明，任何两个不同的麦克达夫例子的任何超幂都不是同构的。在本文的前两位作者的一篇论文中，Escherifeucht-Fraïsse游戏被用来找到区分McDuff示例的句子的量词复杂度的上界，留下它作为一个开放的问题来找到区分McDuff因子的具体句子。在本文中，我们通过提供这样的具体句子来回答这个问题。

2017-01-27math.LOmath.OA