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

DOI10.1007/BF01158848zbMath0663.03045MaRDI QIDQ1114683

V. Kh. Khakhanyan

Publication date: 1988

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

Church's thesisintuitionistic set theoryuniformization principle

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• The consistency of intuitionistic set theory with Church's principle and the uniformization principle
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory