The consistency of some intuitionistic and constructive principles with a set theory

DOI10.1007/BF02584058zbMath0491.03019MaRDI QIDQ1167160

V. H. Hahanyan

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicBrouwer's principleChurch's thesis variants

Mathematics Subject Classification ID

Consistency and independence results (03E35) Metamathematics of constructive systems (03F50)

Related Items (2)

Parametric Church's thesis: synthetic computability without choice ⋮ Eighth Latin American Symposium on Mathematical Logic, João Pessoa

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extending Gödel's negative interpretation to ZF
• CT 0 is Stronger than CT 0 !
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: The consistency of some intuitionistic and constructive principles with a set theory