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

MaRDI QIDQ1151892zbMATH OpenFDO

Authors 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)

Cited in

(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

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