Extending the Language of Set Theory
逻辑
2016-12-20 v2
摘要
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper classes. Finally, we introduce and axiomatize a powerful extension to set theory.
引用
@article{arxiv.math/0504375,
title = {Extending the Language of Set Theory},
author = {Dmytro Taranovsky},
journal= {arXiv preprint arXiv:math/0504375},
year = {2016}
}
备注
12 pages, original html is in ancillary files