搜索结果: 1-1 共查到“数学 many-sorted \omega-categorical theories”相关记录1条 . 查询时间(0.08 秒)
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...