Scifaro

中文

构造性集合论的逻辑与可容许规则

逻辑 2022-12-07 v1

作者: Rosalie Iemhoff , Robert Passmann

在 arXiv 上查看 ↗ PDF ↗

摘要

我们综述构造性集合论的逻辑结构，并指出未来研究的方向。此外，我们分析了可扩充性对给定构造性集合论之逻辑结构的影响。最后，我们给出若干可扩充集合论的例子。

关键词

构造性集合论逻辑结构可容许规则可扩充性综述

引用

@article{arxiv.2212.03105,
  title  = {Logics and Admissible Rules of Constructive Set Theories},
  author = {Rosalie Iemhoff and Robert Passmann},
  journal= {arXiv preprint arXiv:2212.03105},
  year   = {2022}
}