@misc{misc4f2e6076,
title   = {An algebraic (set) theory of surreal numbers, I},
author = {Rangel, Dimi Rocha and Mariano, Hugo Luiz},
year = {2022},
booktitle   = {Brazilian Logic Conference - EBL}
}