搜索结果: 1-1 共查到“数理逻辑与数学基础 equivalents”相关记录1条 . 查询时间(0.093 秒)
Reverse mathematics and equivalents of the axiom of choice
Reverse mathematics equivalents axiom of choice
font style='font-size:12px;'>
2010/12/8
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory.