搜索结果: 1-1 共查到“公理集合论 stable definable families”相关记录1条 . 查询时间(0.062 秒)
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.