Construction of An Equality Relation on a Set with Coequality Relation

DOI10.1002/MALQ.19890350606zbMATH Open0707.03050OpenAlexW2015273898MaRDI QIDQ3487340FDOQ3487340

Authors: Daniel Abraham Romano 

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350606

Recommendations

• scientific article; zbMATH DE number 1929312
• Equality and Coequality Relations on the Cartesian Product of Sets
• scientific article; zbMATH DE number 4041913
• scientific article; zbMATH DE number 2123378
• On a particular condition for regular coequality relations

zbMATH Keywords

Bishop's constructive mathematicscoequality relation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Cited In (8)

• Equality and Coequality Relations on the Cartesian Product of Sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a special restriction of a reflexive and symmetric relation to an equivalence relation
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theorem on cocongruence of rings
• Some remarks on class preserving mapping of coequality relational systems

This page was built for publication: Construction of An Equality Relation on a Set with Coequality Relation

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