Lorenzo Galeotti

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Interval Arithmetic

Deductive Reasoning

Top Venues

Bull. Symb. Log.

Ann. Pure Appl. Log.

Publications

Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
Symmetry for Transfinite Computability. CiE (2023)
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
Realisability for infinitary intuitionistic set theory. Ann. Pure Appl. Log. 174 (6) (2023)
Lorenzo Galeotti, Benedikt Löwe
Order Types of Models of Fragments of Peano Arithmetic. Bull. Symb. Log. 28 (2) (2022)
Merlin Carl, Lorenzo Galeotti, Robert Paßmann
Randomising Realizability. CiE (2021)
Lorenzo Galeotti
Surreal Blum-Shub-Smale Machines. CiE (2019)
Lorenzo Galeotti
The Theory of the Generalised Real Numbers and Other Topics in Logic. Bull. Symb. Log. 25 (4) (2019)
Lorenzo Galeotti, Hugo Nobrega
Towards Computable Analysis on the Generalised Real Line. CiE (2017)
Lorenzo Galeotti
A Candidate for the Generalised Real Line. CiE (2016)