PP-2018-14: Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt (2018) The Bolzano-Weierstrass Theorem in Generalised Analysis. [Pre-print]
PP-2021-01: Carl, Merlin and Galeotti, Lorenzo and Passmann, Robert (2021) Randomising Realisability. [Pre-print] (Submitted)
PP-2020-01: Carl, Merlin and Galeotti, Lorenzo (2020) Resetting Infinite Time Blum-Shub-Smale-Machines. [Pre-print] (Submitted)