1 citations · 1 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020
Realisability for Infinitary Intuitionistic Set Theory
Merlin Carl, Lorenzo Galeotti, Robert Passmann
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sou…
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…