首页> 外文期刊>Archive for Mathematical Logic >Partially definable forcing and bounded arithmetic

【24h】

Partially definable forcing and bounded arithmetic

机译：部分可定义的强制和有界算术

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We describe a method of forcing against weak theories of arithmetic and its applications in propositional proof complexity.

机译：我们描述了一种强制弱算术理论的方法及其在命题证明复杂性中的应用。

著录项

来源
《Archive for Mathematical Logic》 |2015年第2期|共33页
作者
Atserias Albert; Mueller Moritz;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑（符号逻辑）;
关键词
Bounded arithmetic; Forcing; Proof complexity;

机译：有界算术;强制;证明复杂度;

相似文献

外文文献
中文文献
专利

1. Partially definable forcing and bounded arithmetic [J] . Atserias Albert, Mueller Moritz Archive for Mathematical Logic . 2015,第1a2期

机译：部分可定义的强制和有界算术
2. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第3期

机译：有界算术中搜索问题的分类及其可定义性
3. Classification of Search Problems and Their Definability in Bounded Arithmetic [J] . Tsuyoshi Morioka Electronic Colloquium on Computational Complexity . 2001,第118期

机译：有界算术中搜索问题的分类及其可定义性
4. On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds [C] . Peter Buergisser STACS 2007; Lecture Notes in Computer Science; 4393 . 2007

机译：关于在计数层次结构中定义整数并证明算术电路的下界
5. Arithmetical knowledge and arithmetical definability: Four studies. [D] . Walsh, Sean. 2011

机译：算术知识和算术可定义性：四项研究。
6. Sharp bounds for a special quasi-arithmetic mean in terms of arithmetic and geometric means with two parameters [O] . Wei-Mao Qian, Yu-Ming Chu -1

机译：具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
7. Partially definable forcing and bounded arithmetic [O] . Atserias, Albert, Müller, Moritz 2015

机译：部分可定义的强制和有界算术

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号