Abstract
It is known that a countable omega-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone......
小提示:本篇文献需要登录阅读全文,点击跳转登录