Lorenzo Galeotti

According to our database, Lorenzo Galeotti authored at least 8 papers between 2016 and 2023.

Collaborative distances:

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

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