成功加入购物车

去购物车结算 X
书道
  • 反基础公理的逻辑研究
图文详情

反基础公理的逻辑研究

举报

库存新书,特价处理,统一标注为95品! (非二手书)

  • 出版时间: 
  • 装帧:    精装
  • 开本:    25
  • ISBN:  9787516176313
  • 出版时间: 
  • 装帧:  精装
  • 开本:  25

售价 20.00 2.6折

定价 ¥76.00 

品相 九五品

优惠 满减券
    发货
    承诺48小时内发货
    运费
    本店暂时无法向该地区发货

    延迟发货说明

    时间:
    说明:

    上书时间2025-10-08

    数量
    库存4
    微信扫描下方二维码
    微信扫描打开成功后,点击右上角”...“进行转发

    卖家超过10天未登录

    五年老店
    店铺等级
    资质认证
    90天平均
    成功完成
    86.74% (192笔)
    好评率
    99.9%
    发货时间
    20.15小时
    地址
    浙江省金华市义乌市
    • 商品详情
    • 店铺评价
    立即购买 加入购物车 收藏
    手机购买
    微信扫码访问
    • 商品分类:
      综合性图书
      货号:
      2439796
      商品描述:
      作者简介
      李娜,女,1958年生,河南开封市人。研究方向:现代逻辑。巾同逻辑学会会员。1978年至1982年在河南大学数学系学习,获理学学士学位。1986至1989年在巾国科学院软件研究所学习,获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博十生导师。主持多项省级或重量社会科学研究项目;出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型》等学术专著,发表《GB的布尔值模型》等多篇学术论文;获得教育部人文礼会科学很好成果二等奖1次、三等奖1次。

      目录
      本书包含三编: 第Ⅰ编: 为用图的方法为刻画非良基集合论系统ZFC+AFA (或者SAFA、FAFA以及反基础公理家族AFA) 建立了三种模型, 从而证明各种反基础公理与ZFC (=ZFC-FA) 的相对协调性。第Ⅱ编: 基于线性方程组和它的解之间的关系, 修正、完善和丰富了巴威斯 (J.Barwise) 等人用代数方法--方程组刻画的反基础公理--解引理理论。第Ⅲ编: 包括两个附录。附录1----给出了结构之间的互摸拟理论。附录2----给出了项目研究期间发表的部分论文。

      内容摘要
       由李娜著的《反基础公理的逻辑研究(精)》包含三编,第1编为用图刻画的各种反基础公理系统(ZFCˉ+AFA(或者SAFA、FAFA以及反基础公理家族AFA~))建立不同的集论模型,从而证明各种反基础公理与ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威
      斯(J.Barwise)等人用代数方法——方程组刻画的反基础公理——解引理理论。第3编包括两个附录。
      附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文。


      配送说明

      ...

      相似商品

      为你推荐

    孔网啦啦啦啦啦纺织女工火锅店第三课

    开播时间:09月02日 10:30

    即将开播,去预约
    直播中,去观看