3 papers
math.LO2021
Randomising Realisability
Merlin Carl, Lorenzo Galeotti, Robert Passmann
We consider a randomised version of Kleene's realisability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positiv…
math.LO2020
Bounded Symbiosis and Upwards Reflection
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen
Bagaria and Väänänen developed a framework for studying the large cardinal strength of downwards Löwenheim-Skolem theorems and related set theoretic reflection properties. The main…
math.LO2020
Resetting Infinite Time Blum-Shub-Smale-Machines
Merlin Carl, Lorenzo Galeotti
In this paper, we study strengthenings of Infinite Times Blum-Shub-Smale-Machines (ITBMs) that were proposed by Seyfferth in [14] and Welch in [15] obtained by modifying the behavi…