Abstract
AbstractWe describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound on definable countable ordinals in Zermelo-Fraenkel set theory ZF.
Publisher
Cambridge University Press (CUP)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. Boundedness theorems for flowers and sharps;Proceedings of the American Mathematical Society;2022-06-10
3. Cut-elimination for ω1;Annals of Pure and Applied Logic;2018-12
4. Intuitionistic fixed point theories over set theories;Archive for Mathematical Logic;2015-03-31