9 citations · 24 across the 7 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018★ 1 cited
The Drinker Paradox and its Dual
Louis Warren, Hannes Diener, Maarten McKubre-Jordens
The Drinker Paradox is as follows. In every nonempty tavern, there is a person such that if that person is drinking, then everyone in the tavern is drinking. Formally, \[ \exists x…
math.LO2018★ 9 cited
Constructive Reverse Mathematics
Hannes Diener
An introduction and overview of constructive reverse mathematics.
math.LO2018
The Third Trick
Hannes Diener, Matthew Hendtlass
We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions.