Lorenzo Galeotti

Lorenzo Galeotti

University of Amsterdam - Amsterdam / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5985254
Universiteit van Amsterdam
person_outline Lorenzo Galeotti's MOST POPULAR ARTICLES
1-) Towards computable analysis on the generalised real line Conference on Computability in Europe, 246-257, 2017
2-) A candidate for the generalised real line Conference on Computability in Europe, 271-281, 2016
3-) Computable analysis over the generalized Baire space
4-) Realisability for infinitary intuitionistic set theory Annals of Pure and Applied Logic 174 (6), 103259, 2023
5-) The theory of the generalised real numbers and other topics in logic Bulletin of Symbolic Logic 25 (4), 449-450, 2019