可定义同构问题
摘要：定义集合中等同于具有原子的集合的定义集合中的同构问题：给定两个可以定义的关系结构，它们是否通过可解的同构相关？ 在对原子的底层结构进行适当假设下，我们可以证明该问题是可决定的。 核心结果是参数消除：存在可以通过参数定义的同构蕴含存在不需要参数定义的同构。
作者：Khadijeh Keshvardoost and Bartek Klin and S{l}awomir Lasota and Joanna Ochremiak and Szymon Toru''nczyk
论文ID：1802.08500
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22