scientific article; zbMATH DE number 3841848

MaRDI QIDQ3312223zbMATH OpenFDO

Authors V. Kh. Khakhanyan

Publication date 1980

zbMATH Keywords

consistencyformal intuitionistic analysisintuitionismintuitionistic set theoryZFI

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 3950520
• Intuitionistic proof of equiconsistency of the Church thesis with set theory
• Replacement and collection in intuitionistic set theory
• Large sets in intuitionistic set theory
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory

Cited in

(12)

• An interpretation of intuitionistic analysis with restricted transfinite inductive definitions
• Global intuitionistic analysis
• Intuitionistic proof of equiconsistency of the Church thesis with set theory
• scientific article; zbMATH DE number 3841847 (Why is no real title available?)
• Replacement and collection in intuitionistic set theory
• scientific article; zbMATH DE number 3950520 (Why is no real title available?)
• From the weak to the strong existence property
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories
• Intuitionistic fixed point theories over set theories
• scientific article; zbMATH DE number 6320249 (Why is no real title available?)
• Visualization of intuitive set theory
• Large sets in intuitionistic set theory

This page was built for publication:

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