An algebraic (set) theory of surreal numbers, I. - Dimi Rocha Rangel; Hugo Luiz Mariano (FLAP, 2022)