首页> 外文OA文献 >Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)

【2h】

Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)

机译：二阶有界算术中的模块化计数函数（以实现范畴论和证明论之间的新相互作用）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Misumi Shuhei;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. COLLAPSING MODULAR COUNTING IN BOUNDED ARITHMETIC AND CONSTANT DEPTH PROPOSITIONAL PROOFS [J] . Buss Samuel R., Kolodziejczyk Leszek Aleksander, Zdanowski Konrad Transactions of the American Mathematical Society . 2015,第11期

机译：绑定算术和恒定深度建议方案中的模块计数
2. Proof theory in bounded arithmetic systems [J] . Mitsuru Tada 東北大学電通谈话会記録 . 1998,第1期

机译：有界算术系统中的证明理论
3. Density functional theory study of the heterogenous interaction between char-bound nitrogen and CO_2 during oxy-fuel coal combustion [J] . Zhao Shanhui, Sun Rongyue, Bi Xiaolong, Combustion and Flame . 2020,第Juna期

机译：密度泛函理论研究氧气燃煤期间炭氮和CO_2之间的异源相互作用
4. Proof Planning Diagonalisation Theorems via Category Theory [C] . Alan Smaill AISB Convention . 2007

机译：通过类别理论证明规划对角定理
5. Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories [D] . Stirling, Spencer David 2008

机译：带圆规组，模量张量类别和组类别的Abelian Chern-Simons理论
6. From the representation theory of vertex operator algebras to modular tensor categories in conformal field theory [O] . James Lepowsky 2005

机译：从顶点算子代数的表示理论到共形场论中的模量张量类别
7. MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory) [O] . Kuroda Satoru 2001

机译：有界算术模型（探讨范畴论和证明论之间的新相互作用）
8. K-Theory for Triangulated Categories 3 3/4: A Direct Proof of the Theorem of theHeart [R] . Neeman, A. 2000

机译：三角测量分类的K-Theory 3 3/4：心脏定理的直接证明

Modular Counting Functions in Second Order Bounded Arithmetic (Towards new interaction between category theory and proof theory)

著录项

引文网络

相似文献

相关主题

期刊订阅