Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
type: Item
instance of: scholarly article
title: Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory
zbMATH Open document ID: 0663.03045
DOI: 10.1007/BF01158848
author: V. Kh. Khakhanyan
published in: Mathematical Notes
publication date: 1988-01-01T00:00:00Z
review text: See the review in Zbl 0652.03037.
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 4083620
zbMATH Keywords: uniformization principle
zbMATH Keywords: intuitionistic set theory
zbMATH Keywords: Church's thesis
MaRDI profile type: Publication
cites work: The consistency of intuitionistic set theory with Church's principle and the uniformization principle
cites work: Q3657989
cites work: The consistency of classical set theory relative to a set theory with intu1tionistic logic
cites work: Q3214890
description: scientific article; zbMATH DE number 4083620