亚历山德罗·贝拉杜奇;马塞洛·马米诺 可定义为两个正交排序的组。 （英语） Zbl 1382.03064号 以色列。数学杂志。 208, 413-441 (2015)。 小结：这项工作可以被认为是对群扩张模型理论的贡献。我们研究了在两个结构的不相交并中可解释的群（G）（视为一个两排序结构）。我们证明了如果两个结构中的一个是有限Lascar秩的超稳定且Lascar序是可定义的，则（G）是稳定排序内部可定义正规子群对（可能）不稳定排序内部群的扩展。在本文的最后部分，我们证明了如果不稳定排序是实数的o-极小展开，那么\（G\）具有自然Lie结构，并且该扩展是拓扑覆盖。 引用于1审查引用于三文件 MSC公司： 03C64型 有序结构的模型理论；o极小性 03C60型 模型理论代数 22E20型 其他李群的一般性质和结构 关键词：组扩展名;拉斯卡排名;不稳定排序;Lie结构 PDF格式BibTeX公司 XML格式引用 \textit{A.Berarducci}和\textit{M.Mamino}，以色列。数学杂志。208、413——441（2015年；Zbl 1382.03064） 全文： 内政部 arXiv公司 参考文献： [1] A.Berarducci、M.J.Edmundo和M.Mamino，局部可定义群的离散子群，Selecta Mathematica 19（2013），719-736。http://www.springerlink.com/openurl.asp？gener=article&id=doi:10.1007/s00029-013-0123-9 ·Zbl 1294.03026号 ·doi:10.1007/s00029-013-0123-9 [2] A.Berarducci和M.Mamino，《关于o-极小结构中可定义群的同伦类型》，《伦敦数学学会杂志》83（2011），563-586·Zbl 1225.03044号 ·doi:10.1112/jlms/jdq080 [3] A.Berarducci、Y.Peterzil和A.Pillay，《Group covers，o-minimality，and categority》，《Confluentes Mathematici 02》（2010），第473-496页·Zbl 1220.03027号 ·doi:10.1142/S1793744210000259 [4] A.Conversano和M.Mamino，《私人通信》·兹伯利0935.03047 [5] M.J.Edmundo和P.E.Eleftheriou，群的o-极小展开中的泛覆盖同态，《数学逻辑季刊》53（2007），571-582·Zbl 1130.03027号 ·doi:10.1002/malq.200610051 [6] P.E.Eleftheriou和Y.Peterzil，局部可定义群的可定义商，Selecta Mathematica 18（2012），885-903·Zbl 1273.03130号 ·doi:10.1007/s00029-012-0091-5 [7] A.Fornasiero，《d-极小结构中可定义的群和环》，预印本，arXiv:1205.4177，2012年·Zbl 1220.03033号 [8] E.Hrushovski，Y.Peterzil和A.Pillay，关于o-极小结构中的中心扩张和可定义紧群，代数杂志327（2011），71-106·Zbl 1220.03033号 ·doi:10.1016/j.jalgebra.2010.11.001 [9] D.拉斯卡，超级理论中的等级和可定义性，以色列数学杂志23（1976），53-87·Zbl 0326.02038号 ·doi:10.1007/BF02757234 [10] J.Marikova，o-极小结构中的类型定义群和不变群，《符号逻辑杂志》72（2007），67-80·Zbl 1118.03028号 ·doi:10.2178/jsl/1174668384 [11] Y.Peterzil和C.Steinhorn，可定义紧性和o-极小群的可定义子群，伦敦数学学会杂志59（1999），769-786·兹伯利0935.03047 ·doi:10.1112/S0024610799007528 [12] A.Pillay，《关于o-极小结构中可定义的群和域》，《纯粹与应用代数杂志》53（1988），239-255·兹比尔0662.03025 ·doi:10.1016/0022-4049（88）90125-9 [13] A.Pillay，《几何稳定性理论》，《牛津逻辑指南》，第32卷，克拉伦登出版社，牛津大学出版社，纽约，1996年·Zbl 0871.03023号 [14] J.Ramakrishnan，Y.Peterzil和P.Eleftheriou，可解释群是可定义的，《数理逻辑杂志》14（2014），47页·Zbl 1337.03053号 [15] K.Tent和M.Ziegler，模型理论课程，逻辑课堂讲稿，第40卷，符号逻辑协会，加利福尼亚州拉荷亚；剑桥大学出版社，剑桥，2012年·Zbl 1245.03002号 ·doi:10.1017/CBO9781139015417 [16] F.Wagner，《直角观察正交集》，2013年。arXiv:1310.6275·Zbl 1225.03044号 [17] R.Wencel，《一阶拓扑结构中可定义的群、群作用和域》，《数学逻辑季刊》第58期（2012年），第449-467页·Zbl 1273.03131号 ·doi:10.1002/malq.201200033 [18] B.Zilber，特征为零的代数闭域的乘法群的覆盖，《伦敦数学学会杂志》74（2006），41-58·Zbl 1104.03030号 ·doi:10.1112/S0024610706023349 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。