The consistency of some intuitionistic and constructive principles with a set theory |
| |
Authors: | V. H. Hahanyan |
| |
Affiliation: | (1) Institute of Mathematics, Moscow |
| |
Abstract: | The main questions considered in this paper are the consistency of a variant of a set theory with intuitionistic logic, with Brouwer's principle and the investigation of the comparative power of the Church's Thesis' variants at the set theory level. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|