搜索结果: 1-1 共查到“定性理论 Factorization”相关记录1条 . 查询时间(0.093 秒)
Factorization of the Shoenfield-like bounded functional interpretation
Factorization Shoenfield-like bounded functional interpretation
2010/12/3
We adapt Streicher and Kohlenbach’s proof of the factorization S = KD of the Shoenfield translation S in terms of Krivine’s negative translation K and the G¨odel functional interpretation D, obtaining...