11 citations · 13 across the 3 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2022★ 1 cited
Exploring mathematical objects from custom-tailored mathematical universes
Ingo Blechschmidt
Toposes can be pictured as mathematical universes. Besides the standard topos, in which most of mathematics unfolds, there is a colorful host of alternate toposes in which mathemat…
math.HO2019★ 1 cited
A constructive Knaster-Tarski proof of the uncountability of the reals
Ingo Blechschmidt, Matthias Hutzler
We give an uncountability proof of the reals which relies on their order completeness instead of their sequential completeness. We use neither a form of the axiom of choice nor the…