Janelidze, Z., Van Der Berg, I. A Dedekind-Style Axiomatization and the Corresponding Universal Property of An Ordinal Number System, Journal of Symbolic Logic, 87 (4), pp. 1396-1418.
https://p22.juizi.com/nithecs/research/publications/publication-search/janelidze-z-van-der-berg-i-a-dedekind-style-axiomatization-and-the-corresponding-universal-property-of-an-ordinal-number-system-journal-of-symbolic-logic-87-4-pp-1396-1418
https://p22.juizi.com/nithecs/@@site-logo/Logo.svg
Janelidze, Z., Van Der Berg, I. A Dedekind-Style Axiomatization and the Corresponding Universal Property of An Ordinal Number System, Journal of Symbolic Logic, 87 (4), pp. 1396-1418.