Email this article 
The Review of Relations of Principles of Strong Uniformization and Church Thesis in Intuitionistic Set Theory
- Authors: Khakhanian V.K.1
-
Affiliations:
- Moscow State University of railway communications
- Issue: No 4 (2013)
- Pages: 47-50
- Section: Articles
- URL: https://journals.rudn.ru/philosophy/article/view/11405
- ID: 11405
Cite item
Full Text
Abstract
We prove that the strong uniformization does not depend on Church thesis with choice in the set theory with intuitionistic logic and with axiom of extensionality.
About the authors
Valery Khristoforovich Khakhanian
Moscow State University of railway communications
Email: valkhakhanian@gmail.com
Chair of Mathematics
References
Supplementary files
