arXiv subjects

Adrian Ducourtial

Publications and source records attributed to Adrian Ducourtial.

2 recordsLinked to original sources

arXiv2026

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↗

arXiv2025

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↗