Lorenzo Galeotti

MaRDI QIDQ2011659zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symmetry for transfinite computability Lecture Notes in Computer Science	2024-01-12	Paper
Realisability for infinitary intuitionistic set theory Annals of Pure and Applied Logic	2023-04-27	Paper
Order types of models of fragments of Peano arithmetic The Bulletin of Symbolic Logic	2022-06-30	Paper
Randomising realizability (available as arXiv preprint)	2022-03-22	Paper
Relations between notions of gaplessness for non-Archimedean fields	2021-10-05	Paper
Randomising Realisability (available as arXiv preprint)	2021-01-29	Paper
Realisability for Infinitary Intuitionistic Set Theory (available as arXiv preprint)	2020-09-25	Paper
Bounded Symbiosis and Upwards Reflection	2020-07-29	Paper
Surreal Blum-Shub-Smale machines	2020-05-12	Paper
Resetting Infinite Time Blum-Shub-Smale-Machines	2020-01-20	Paper
The Bolzano-Weierstrass theorem in generalised analysis	2019-06-14	Paper
Towards computable analysis on the generalised real line (available as arXiv preprint)	2017-08-04	Paper
A candidate for the generalised real line Pursuit of the Universal	2016-08-17	Paper

Research outcomes over time

This page was built for person: Lorenzo Galeotti