A higher arithmetic on the ordinals
We motivate and study an infinite sequence of binary operations on the ordinal numbers, providing a common extension of the standard arithmetic on the ordinals and the hyperoperations on the naturals.
math.LO↗
arXiv subjects
Adrian Ducourtial
Publications and source records attributed to Adrian Ducourtial.
Tuples as sets
In 1921, Kuratowski gave the now-standard definition of ordered pair in the context of set theory. This paper studies the problem of defining ordered tuples as sets in the hierarchy of simple types, of which Kuratowski's construction is a special case.
math.LO↗