Axiom ``collection independence of ``DC principle in intuitionistic set theory

zbMath0835.03019MaRDI QIDQ1902734

V. Kh. Khakhanyan

Publication date: 3 December 1995

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

independencecollectionsubstitutionintuitionistic set theorydouble complement

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (1)

Effectivity properties of intuitionistic set theory with collection scheme

This page was built for publication: Axiom ``collection independence of ``DC principle in intuitionistic set theory