• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL) >Presentations of Structures in Admissible Sets
【24h】

Presentations of Structures in Admissible Sets

机译：可接受集中的结构表示

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We consider copies and constructivizations of structures in admissible sets. In the first section we survey results about copies of countable structures in hereditary finite superstructures and definability (so called syntactical conditions of intrinsically computable properties) and state some conjectures about the uncountable case. The second section is devoted to constructivizations of uncountable structures in "simplest" uncountable admissible sets (more precisely, in hereditary finite superstructures over the models of c-simple theories). The third section contains some results on constructivizations of admissible sets within themselves.
机译：我们考虑可容许集合中结构的复制和构造。在第一部分中，我们调查了有关遗传有限上层建筑中可数结构的副本和可定义性（所谓的内在可计算属性的句法条件）的结果，并对不可数情况作了一些猜想。第二部分专门讨论“最简单”的不可数可容许集合中的不可数结构的构造化（更确切地说，是在c-简单理论模型上的遗传有限上层结构中）。第三部分包含一些关于可允许集合在其内部的结构化的结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号