从多集到热复制类型理论中的集
摘要
出版物: -
arXiv电子打印 发布日期: 2016年12月 内政部: -
10.48550/arXiv.1612.05468 arXiv: -
arXiv公司:1612.05468 书目代码: -
2016arXiv161205468R 关键词: -
数学-逻辑; 03B15; 03B70; 03F65; 图4.1
电子打印: doi:10.1017/jsl.2017.84