重构克隆的拓扑
逻辑
2016-05-17 v3 计算机科学中的逻辑
环与代数
摘要
函数克隆是定义在固定域上的一组函数，它们在复合运算下封闭且包含投影。它们具有自然的代数结构，由其中成立的复合律提供；同时也具有自然的拓扑结构，由逐点收敛拓扑提供，在此拓扑下函数复合变为连续。受近期结果的启发，这些结果表明即使对于原本的代数问题，函数克隆的拓扑自我（topological ego）也至关重要，我们研究了以下类型的问题：在何种情况下，函数克隆的代数结构决定了其拓扑结构？我们特别关注包含寡态置换群（oligomorphic permutation group）的函数克隆，并讨论了这种情况在模型论和理论计算机科学中的应用。
引用
@article{arxiv.1312.7699,
title = {Reconstructing the topology of clones},
author = {Manuel Bodirsky and Michael Pinsker and András Pongrácz},
journal= {arXiv preprint arXiv:1312.7699},
year = {2016}
}
备注
32 pages