Article contents
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
Published online by Cambridge University Press: 25 June 2014
Abstract
We 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.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2014
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:896:20160716063458986-0191:S0022481214000061_inline1.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:6867:20160716063458986-0191:S0022481214000061_inline2.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:92387:20160716063458986-0191:S0022481214000061_inline3.gif?pub-status=live)
- 4
- Cited by