Items where Author is "Galeotti, Lorenzo"

Pre-print

PP-2018-14: Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt (2018) The Bolzano-Weierstrass Theorem in Generalised Analysis. [Pre-print]

PP-2020-13: Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko (2020) Bounded Symbiosis and Upwards Reflection. [Pre-print] (Submitted)

PP-2017-10: Galeotti, Lorenzo and Löwe, Benedikt (2017) Order types of models of reducts of Peano Arithmetic and their fragments. [Pre-print] (Unpublished)

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)

PP-2019-10: Galeotti, Lorenzo (2019) Surreal Blum-Shub-Smale Machines. [Pre-print] (In Press)

PP-2023-02: Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt (2023) Symmetry for transfinite computability. [Pre-print] (Submitted)

PP-2017-08: Galeotti, Lorenzo and Nobrega, Hugo (2017) Towards computable analysis on the generalised real line. [Pre-print] (In Press)

Report

MoL-2015-13: Galeotti, Lorenzo (2015) Computable Analysis Over the Generalized Baire Space. [Report]

Thesis

DS-2019-04: Galeotti, Lorenzo (2019) The theory of the generalised real numbers and other topics in logic. Doctoral thesis, University of Amsterdam.