搜索结果: 1-1 共查到“范畴论 many-sorted \omega-categorical theories”相关记录1条 . 查询时间(0.146 秒)
On many-sorted $\omega$-categorical theories
many-sorted $\omega$-categorical theories
font style='font-size:12px;'>
2011/2/24
We prove that every many-sorted !-categorical theory is com-pletely interpretable in a one-sorted !-categorical theory. As an ap-plication, we give a short proof of the existence of non G–compact !-ca...