arXiv:1904.11378 [math.LO]AbstractReferencesReviewsResources (Seemingly) Impossible Theorems in Constructive Mathematics Hannes Diener, Matthew Hendtlass Published 2019-04-12Version 1 We prove some constructive results that on first and maybe even on second glance seem impossible. Categories: math.LO, cs.LO Keywords: constructive mathematics, impossible theorems, second glance Related articles: Most relevant | Search more arXiv:1804.04490 [math.LO] (Published 2018-04-12) On Dividing by Two in Constructive Mathematics Andrew Swan arXiv:1805.07518 [math.LO] (Published 2018-05-19) Linear logic for constructive mathematics Michael Shulman arXiv:0811.2774 [math.LO] (Published 2008-11-17, updated 2024-04-03) A minimalist two-level foundation for constructive mathematics Maria Emilia Maietti Links Abstract on arXiv.org View preprint PDF Download TeX source Export citation in BibTeX Save eprint metadata as JSON Toolbox Post your review for this article Attach supplementary resources Edit our extended metadata Share this article on social media FacebookGoogle+LinkedInRedditTwitterVK Scan the QR code for this page
![QR code for arXiv:1904.11378 [math.LO]](http://oss.arxitics.com/images/favicon.svg)