Lorenzo Galeotti

11 papers C 7Journal 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bounded symbiosis and upwards reflection.
Arch. Math. Log.
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
2025 C conf
LogiCraft: A Game Modification Framework for Learning Propositional Logic.
FDG
Tamara Dobler, Lorenzo Galeotti, Riemer van Rozen
2024 C ed.
Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings
CiE
Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea
2023 J jnl
Realisability for infinitary intuitionistic set theory.
Ann. Pure Appl. Log.
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
2023 C conf
Symmetry for Transfinite Computability.
CiE
Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
2022 J jnl
Order Types of Models of Fragments of Peano Arithmetic.
Bull. Symb. Log.
Lorenzo Galeotti, Benedikt Löwe
2021 C conf
Randomising Realizability.
CiE
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
2019 C conf
Surreal Blum-Shub-Smale Machines.
CiE
Lorenzo Galeotti
2019 J jnl
The Theory of the Generalised Real Numbers and Other Topics in Logic.
Bull. Symb. Log.
Lorenzo Galeotti
2017 C conf
Towards Computable Analysis on the Generalised Real Line.
CiE
Lorenzo Galeotti, Hugo Nobrega
2016 C conf
A Candidate for the Generalised Real Line.
CiE
Lorenzo Galeotti