The constructive equality theory

zbMATH Open1025.03008MaRDI QIDQ1866906FDOQ1866906

Authors: D. A. Viter 

Publication date: 23 April 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Recommendations

• Equality and equivalence, intuitionistically
• scientific article; zbMATH DE number 1929312
• scientific article; zbMATH DE number 2123378
• Deciding Equality in the Constructor Theory
• Theory of Abelian groups with constructive models

zbMATH Keywords

constructive modelfirst-order languageconstructive theoryequality theory

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Cited In (1)

• Equality and equivalence, intuitionistically

This page was built for publication: The constructive equality theory

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