首页> 外文期刊>Discrete Applied Mathematics >Homogeneous and strictly homogeneous criteria for partial structures
【24h】

Homogeneous and strictly homogeneous criteria for partial structures

机译:局部结构的均质且严格均质的标准

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

摘要

The Galois Closure on the set of relations invariant to all finite partial automorphisms (automorphisms) of a countable partial structure is established via quantifier-free infinite predicate languages (infinite languages with finite string of quantifiers respectively). Based on it the homogeneous and strictly homogeneous criteria for a countable partial structure as well as an ultrahomogeneous criterion for a countable relational structure are found. Next it is shown that infinite languages with a finite string of quantifiers cannot determine the corresponding Galois closure for relations invariant to all automorphisms of an uncountable partial structure.
机译:可数部分结构的所有有限局部自同构(自同构)不变的一组关系的伽罗瓦闭包是通过无量词的无限谓语(分别具有有限量词的无限语言)建立的。在此基础上,找到了可数部分结构的均质和严格均质准则,以及可数关系结构的超均质准则。接下来,表明带有有限量词的无限语言无法确定对应于不可数部分结构的所有自同构关系不变的对应的Galois闭包。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号