搜索结果: 1-5 共查到“公理集合论 structures”相关记录5条 . 查询时间(0.125 秒)
Compression schemes, stable definable families, and o-minimal structures
Compression schemes stable definable families o-minimal structures
2015/9/28
We show that any family of sets uniformly definable in an ominimal
structure has an extended compression scheme of size equal
to the number of parameters in the defining formula.
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...
Group theoretic structures in the estimation of an unknown unitary transformation
Group theoretic structures estimation unknown unitary transformation
2011/3/2
This paper presents a series of general results about the optimal estimation of physical transformations in a given symmetry group. In particular, it is shown how the different
symmetries of the prob...