Non-extensional equality

DOI10.4064/FM-82-4-307-322MaRDI QIDQ4053623zbMATH OpenOpenAlexFDO

Authors A. S. Troelstra

Publication date 1975

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214670

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cited in

(2)

• On non-transitive ``identity
• Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: Non-extensional equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4053623)