...
首页> 外文期刊>Siberian Mathematical Journal >On the index sets of Σ-subsets of the real numbers
【24h】

On the index sets of Σ-subsets of the real numbers

机译:关于实数Σ子集的索引集

获取原文
获取原文并翻译 | 示例
           

摘要

We compute the levels of complexity in analytical and arithmetical hierarchies for the sets of the Σ-formulas defining in the hereditarily finite superstructure over the ordered field of the reals the classes of open, closed, clopen, nowhere dense, dense subsets of ? n , first category subsets in ? n as well as the sets of pairs of Σ-formulas corresponding to the relations of set equality and inclusion which are defined by them. It is also shown that the complexity of the set of the Σ-formulas defining connected sets is at least Π11.
机译:我们计算在解析和算术层次结构中,对于在有序域的遗传上有限的超结构中定义的Σ-公式集的集合,其开,闭,扇形,无处稠密的? n,第一类子集在哪里? n以及与它们定义的集合相等和包含关系对应的成对的Σ公式对。还表明,定义连通集的Σ-式的集合的复杂度至少为Π11。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号