排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
2.
Goodman's theorem states that intuitionistic arithmetic in all finite types plus full choice, HA + AC, is conservative over first-order intuitionistic arithmetic HA. We show that this result does not extend to various subsystems of HA, HA with restricted induction. 相似文献
1