皮尔斯公理模式与上确界
逻辑
2015-11-24 v1
摘要
我们提出皮尔斯公理模式的等价形式，并强调其与成对上确界的相关性。
引用
@article{arxiv.1511.07074,
title = {The Peirce axiom scheme and suprema},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1511.07074},
year = {2015}
}