论文标题
一些不能合并的可定义类型
Some definable types that cannot be amalgamated
论文作者
论文摘要
我们表现出一种理论，其中可确定的类型缺乏融合特性。
We exhibit a theory where definable types lack the amalgamation property.
加入微信交流群
扫码加入学术交流群，获取更多资源
我们表现出一种理论，其中可确定的类型缺乏融合特性。
We exhibit a theory where definable types lack the amalgamation property.
扫码加入学术交流群，获取更多资源