A Candidate for the Generalised Real Line. - Lorenzo Galeotti (CiE, 2016)

Towards Computable Analysis on the Generalised Real Line. - Lorenzo Galeotti; Hugo Nobrega (CiE, 2017)

Surreal Blum-Shub-Smale Machines. - Lorenzo Galeotti (CiE, 2019)

The Theory of the Generalised Real Numbers and Other Topics in Logic. - Lorenzo Galeotti (Bull. Symb. Log., 2019)

Randomising Realizability. - Merlin Carl; Lorenzo Galeotti; Robert Paßmann (CiE, 2021)

Order Types of Models of Fragments of Peano Arithmetic. - Lorenzo Galeotti; Benedikt Löwe (Bull. Symb. Log., 2022)

Symmetry for Transfinite Computability. - Lorenzo Galeotti; Ethan S. Lewis; Benedikt Löwe (CiE, 2023)

Realisability for infinitary intuitionistic set theory. - Merlin Carl; Lorenzo Galeotti; Robert Paßmann (Ann. Pure Appl. Log., 2023)

LogiCraft: A Game Modification Framework for Learning Propositional Logic. - Tamara Dobler; Lorenzo Galeotti; Riemer van Rozen (FDG, 2025)

Bounded symbiosis and upwards reflection. - Lorenzo Galeotti; Yurii Khomskii; Jouko Väänänen (Arch. Math. Log., 2025)