An Intuitionistic Version of Cantor's Theorem

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

zbMATH Keywords

Cartesian closed categoriesMartin-Löf's intuitionistic type theoryintuitionistic version of Cantor's theorem

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (1)

Every countably presented formal topology is spatial, classically

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: An Intuitionistic Version of Cantor's Theorem