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

DOI10.1007/BF01158848MaRDI QIDQ1114683zbMATH OpenFDO

Authors V. Kh. Khakhanyan

Publication date 1988

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01158848

zbMATH Keywords

Church's thesisintuitionistic set theoryuniformization principle

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Review text

See the review in Zbl 0652.03037.

Cites work

• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3809550 (Why is no real title available?)
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• The consistency of intuitionistic set theory with Church's principle and the uniformization principle

Cited in

(1)

• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem

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

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