The consistency of intuitionistic set theory with Church's principle and the uniformization principle

zbMath0459.03026MaRDI QIDQ1151892

V. Kh. Khakhanyan

Publication date: 1980

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

zbMATH Keywords

extensionality axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35) Intuitionistic mathematics (03F55)

Related Items (1)

Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory

This page was built for publication: The consistency of intuitionistic set theory with Church's principle and the uniformization principle