搜索结果: 1-1 共查到“常微分方程 factorization”相关记录1条 . 查询时间(0.07 秒)
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...