搜索结果: 1-3 共查到“公理集合论 algebraic structures”相关记录3条 . 查询时间(0.073 秒)
Mutually algebraic structures and `automatic' quantifier elimination
Mutually algebraic structures `automatic' quantifier elimination
2015/9/28
Mutually algebraic structures and `automatic' quantifier elimination.
Characterizing model completeness among mutually algebraic structures
algebraic structures model completeness
2015/9/28
We characterize when the elementary diagram of a mutually algebraic
structure has a model complete theory, and give an explicit
description of a set of existential formulas to which every formula
i...
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...