(Seemingly) Impossible Theorems in Constructive Mathematics

Published 12 Apr 2019 in math.LO and cs.LO | (1904.11378v1)

Abstract: We prove some constructive results that on first and maybe even on second glance seem impossible.

Authors (2)

Citations (2)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.