The Review of Relations of Principles of Strong Uniformization and Church Thesis in Intuitionistic Set Theory
- 作者: Khakhanian V.K.1
-
隶属关系:
- Moscow State University of railway communications
- 期: 编号 4 (2013)
- 页面: 47-50
- 栏目: Articles
- URL: https://journal-vniispk.ru/2313-2302/article/view/345420
- ID: 345420
如何引用文章
详细
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.
作者简介
Valery Khakhanian
Moscow State University of railway communications
Email: valkhakhanian@gmail.com
Chair of Mathematics
补充文件
