首页> 外文期刊>Journal of Symbolic Logic >Interpolation, Preservation, and Pebble Games
【24h】

Interpolation, Preservation, and Pebble Games

机译:插值,保存和鹅卵石游戏

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

Preservation and interpolation results are obtained for L_(propor. to #omega#) and sublogics L (is contained in =) L_(propor. to #omega#) such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.
机译:为L_(Propor of#Omega#)和Sublogics L(包含在=)L_(Propor。到#Omega#),使得L中的等价可以以适当的来回条件为特征 关于部分同构术。

著录项

  • 来源
    《Journal of Symbolic Logic》 |1999年第2期|共24页
  • 作者

    Jon Barwise; Johan van Benthem;

  • 作者单位

    Laser Diode Manufacturing and Development Polaroid Corporation 1 Upland Road (MS:N1-1C) Norwood Massachusetts 02062;

    Laser Diode Manufacturing and Development Polaroid Corporation 1 Upland Road (MS:N1-1C) Norwood Massachusetts 02062;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 概率论与数理统计;
  • 关键词

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号