Choice principles in constructive and classical set theories
Choice principles in constructive and classical set theories
复制标题
构造性和经典集合论中的选择原则
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Rathjen
中科院分区：
文献类型：
--
作者：
M. Rathjen
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.
