在原始正互定义意义下的相等关系约化
逻辑
2010-01-16 v3 环与代数
摘要
我们启动了在原始正互定义意义下关系结构约化的研究：在提供此类研究的工具后，我们应用这些工具对相等逻辑的约化进行了分类。结果表明存在连续统多个这样的约化。等价地，用泛代数语言表述，我们对可数域上包含该域所有置换的那些局部闭克隆进行了分类。
引用
@article{arxiv.0810.2270,
title = {The reducts of equality up to primitive positive interdefinability},
author = {Manuel Bodirsky and Hubie Chen and Michael Pinsker},
journal= {arXiv preprint arXiv:0810.2270},
year = {2010}
}
备注
41 pages; version 3 has been been checked also by non-authors