搜索结果: 1-4 共查到“数理逻辑与数学基础 algebraic structures”相关记录4条 . 查询时间(0.046 秒)
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...
ALGEBRAIC STRUCTURES ON THE TOPOLOGY OF MODULI SPACES OF CURVES AND MAPS
MODULI SPACES CURVES AND MAPS
2015/7/14
We discuss selected topics on the topology of moduli spaces
of curves and maps, emphasizing their relationwith GromovWitten theory and integrable systems