55 citations · 97 across the 13 of their papers we have counts for
1 paper · 1 filter
Andrej Bauer
In the effective topos there exists a chain-complete distributive lattice with a monotone and progressive endomap which does not have a fixed point. Consequently, the Bourbaki-Witt…