卡迪耶·凯什瓦尔杜斯特;巴托克·克林;萨沃米尔·拉索塔;乔安娜·奥奇里米亚克;西门托伦奇克 可定义的同构问题。 （英语） Zbl 1509.03103号 日志。方法计算。科学。 15，第4号，第14号论文，19页（2019年）. 小结：我们研究可定义集（等价于具有原子的集）的设置中的同构问题：给定两个可定义的关系结构，它们是否通过可定义的同构关联？在对原子基本结构的温和假设下，我们证明了问题的可判定性。核心结果是参数消除：可以用参数定义的同构的存在意味着可以用不带参数的同构定义的存在。 MSC公司： 03C40号 插值、保存、可定义性 03C15号 可数可分结构的模型理论 03C35号 理论的分类和完整性 03B25号 理论和句子集的可判定性 关键词：同构问题;可定义集;\（\omega\）-分类 软件：NLambda公司;路易斯 PDF格式BibTeX公司 XML格式引用 \textit{K.Keshvardoost}等人，Log。方法计算。科学。15，第4号，第14号论文，19页（2019年；Zbl 1509.03103） 全文： arXiv公司 参考文献： [1] [Bab16]L´aszl´o Babai先生。拟多项式时间中的图同构[扩展抽象]。在程序中。STOC 2016，第684-697页，2016年·Zbl 1376.68058号 [2] [BBKL12]米科·拉伊·博贾恩茨克（Miko laj Boja´nczyk）、劳伦特·布劳德（Laurent Braud）、巴泰克·克林（Bartek Klin）和S lawomir Lasota。朝向标称计算。在程序中。POPL 2012，第401-412页，2012年·Zbl 1321.68139号 [3] [BKL14]Miko laj Boja´nczyk、Bartek Klin和S lawomir Lasota。名义集合中的自动机理论。日志。方法。公司。科学。，10, 2014. ·Zbl 1338.68140号 [4] [BKLT13]Miko laj Boja´nczyk、Bartek Klin、S lawomir Lasota和Szymon Toru´nczyk。带原子的图灵机器。在程序中。LICS 2014，第183-192页，2013年·Zbl 1367.68098号 [5] 【Boj】Miko laj Boja´nczyk。稍微无限的集合。一本书的草稿可在https://www.mimuw.edu。pl/bojan/纸/原子书。 [6] [BT12]M.Boja´nczyk和S.Toru´nczyk。带有原子的命令式编程。在程序中。FSTTCS 2012，LIPIcs第18卷，2012年。 [7] [Eng59]埃尔文·恩格勒。¨Aquivalenzklassen von n-tupeln。Z.数学。Logic Grundl。数学。，5:340-345, 1959. ·Zbl 0092.24903号 [8] [Fra53]R·弗雷斯。关系理论。北荷兰人，1953年。 [9] 威尔弗里德·霍奇斯。模型理论。数学及其应用百科全书第42号。剑桥大学出版社，1993年。 [10] [KKOT15]巴托克·克林（Bartek Klin）、埃里克·科普奇·恩斯基（Eryk Kopczy´nski）、乔安娜·奥奇里米亚克（Joanna Ochremiak）和斯兹蒙·托鲁·nczyk。局部有限约束满足问题。在程序中。LICS’15，第475-486页，2015年·Zbl 1394.68186号 [11] [KLOT14]Bartek Klin、S lawomir Lasota、Joanna Ochremiak和Szymon Toru´nczyk。带原子的图灵机、约束满足问题和描述复杂性。在程序中。CSL-LICS’14，第58:1-58:10页，2014年·Zbl 1401.68079号 [12] [KLOT16]巴托克·克林（Bartek Klin）、斯拉沃米尔·拉索塔（Slawomir Lasota）、乔安娜·奥奇里米亚克（Joanna Ochremiak）和斯齐蒙·托鲁恩茨克（Szymon Toru´nczyk）。一阶可定义结构的同态问题。在程序中。FSTTCS 2016，第14:1-14:15页，2016年·兹比尔1434.03093 [13] [KS16]巴托克·克林（Bartek Klin）和米查尔·辛沃尔斯基（Michal Szynwelski）。无限结构上函数规划的SMT求解。2016年MSFP程序，第57-75页，2016年·Zbl 1477.68072号 [14] [KT16]Eryk Kopczy´nski和Szymon Toru´nczyk。LOIS：SMT求解器的应用。在程序中。SMT研讨会，《CEUR会议记录》第1716卷，第51-60页，2016年。 [15] [KT17]Eryk Kopczynski和Szymon Toru´nczyk。LOIS：语法和语义。在程序中。POPL，第页·兹比尔1380.68125 [16] [Luk82]尤金·卢克斯。有界价图的同构可以在多项式时间内进行测试。J.计算。系统。科学。，25(1):4265, 1982. ·Zbl 0493.68064号 [17] [Pit13]A.M.Pitts（A.M.皮特斯）。名词集：计算机科学中的名称和对称性。剑桥大学出版社，2013年·Zbl 1297.68008号 [18] [RN59]Czes law莱尔·纳泽夫斯基。权力类别≤ℵ0.牛市。阿卡德。波兰。科学。序列号。数学。阿斯特。物理。，7:545-548, 1959. ·Zbl 0117.01101号 [19] [Sve59]拉尔斯·斯维诺纽斯。ℵ0-第一类 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。