Sets with apartness ordered under co-quasiorder. Review and some new reflections

DOI10.7251/JIMVI2301093RzbMATH Open1542.03069MaRDI QIDQ6587889FDOQ6587889

Authors: Daniel Abraham Romano 

Publication date: 14 August 2024

Published in: Journal of the International Mathematical Virtual Institute (Search for Journal in Brave)

zbMATH Keywords

set with apartnessBishop constructive mathematicsco-equality relationco-quasiorder relation and co-order relationstrongly extensional mapping between co-quasiordered (co-ordered) sets

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Generalizations of ordered sets (06A75)

This page was built for publication: Sets with apartness ordered under co-quasiorder. Review and some new reflections

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