搜索结果: 1-1 共查到“数理逻辑与数学基础 Provability”相关记录1条 . 查询时间(0.074 秒)
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...