5 citations · 6 across the 2 of their papers we have counts for
2 papers
math.LO2017★ 1 cited
Towards computable analysis on the generalised real line
Lorenzo Galeotti, Hugo Nobrega
In this paper we use infinitary Turing machines with tapes of length and which run for time as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two…
math.LO2015★ 5 cited
Game characterizations and lower cones in the Weihrauch degrees
Hugo Nobrega, Arno Pauly
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge…