An Intuitionistic Version of Cantor's Theorem
From MaRDI portal
Publication:5687407
DOI10.1002/MALQ.19960420136zbMath0859.03029OpenAlexW2005765799MaRDI QIDQ5687407
Dario Maguolo, Silvio Valentini
Publication date: 23 February 1997
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19960420136
Cartesian closed categoriesMartin-Löf's intuitionistic type theoryintuitionistic version of Cantor's theorem
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)
Related Items (1)
Cites Work
This page was built for publication: An Intuitionistic Version of Cantor's Theorem