Independence of the uniformity principle from Church's thesis in intuitionistic set theory

DOI10.1070/IM2013V077N06ABEH002676zbMath1325.03062MaRDI QIDQ5396961

V. Kh. Khakhanyan

Publication date: 4 February 2014

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL: http://iopscience.iop.org/article/10.1070/IM2013v077n06ABEH002676

zbMATH Keywords

Church's thesisset theoryintuitionistic logicrecursive realizabilityuniformity principledouble complementation principle

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items (1)

Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets

This page was built for publication: Independence of the uniformity principle from Church's thesis in intuitionistic set theory