{"id":"arxiv/2606.18474","url":"https://arxiv.org/abs/2606.18474","tags":["math.LO","math.CO"],"score":0,"title":"Tuples as sets","domain":"math.LO","source":"arxiv","authors":["Adrian Ducourtial"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}