Lorenzo Galeotti

According to our database, Lorenzo Galeotti authored at least 10 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Bounded symbiosis and upwards reflection.

Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen

Arch. Math. Log., May, 2025

LogiCraft: A Game Modification Framework for Learning Propositional Logic.

Tamara Dobler, Lorenzo Galeotti, Riemer van Rozen

Proceedings of the 20th International Conference on the Foundations of Digital Games, 2025

2023

Realisability for infinitary intuitionistic set theory.

Merlin Carl, Lorenzo Galeotti, Robert Paßmann

Ann. Pure Appl. Log., June, 2023

Symmetry for Transfinite Computability.

Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe

Proceedings of the Unity of Logic and Computation, 2023

2022

Order Types of Models of Fragments of Peano Arithmetic.

Lorenzo Galeotti, Benedikt Löwe

Bull. Symb. Log., 2022

2021

Randomising Realizability.

Merlin Carl, Lorenzo Galeotti, Robert Paßmann

Proceedings of the Connecting with Computability, 2021

2019

The Theory of the Generalised Real Numbers and Other Topics in Logic.

Lorenzo Galeotti

Bull. Symb. Log., 2019

Surreal Blum-Shub-Smale Machines.

Lorenzo Galeotti

Proceedings of the Computing with Foresight and Industry, 2019

2017

Towards Computable Analysis on the Generalised Real Line.

Lorenzo Galeotti, Hugo Nobrega

Proceedings of the Unveiling Dynamics and Complexity, 2017

2016

A Candidate for the Generalised Real Line.

Lorenzo Galeotti

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016