搜索结果: 1-1 共查到“公理集合论 predicates”相关记录1条 . 查询时间(0.077 秒)
Mutually algebraic structures and expansions by predicates
algebraic structures predicates
2015/9/28
We introduce the notions of a mutually algebraic structures and
theories and prove many equivalents. A theory T is mutually algebraic
if and only if it is weakly minimal and trivial if and only if n...