TY  - RPRT
TI  - A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system
AU  - Zurab Janelidze
AU  - Ineke van der Berg
PY  - 2020
UR  - https://arxiv.org/abs/2006.12688
ID  - 2006.12688
ER  -