搜索页_Peano+arithmetic

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

Springer电子图书(1)

SpringerLink电子期刊(90)

NATURE电子期刊(2)

Elsevier电子期刊(55)

在“SpringerLink电子期刊”中，命中：90条，耗时：0.0190206 秒

在所有数据库中总计命中：148条

1. Completeness of Hoare Logic Relative to the Standard Model

关键词：Hoare logic ; Peano arithmetic ; Arithmetical hierarchy ; The standard model ; Relative completeness

刊名：Lecture Notes in Computer Science

出版年：2017

2. A Survey on Universal Computably Enumerable Equivalence Relations

关键词：Computably enumerable equivalence relation ; Computable reducibility on equivalence relations

刊名：Lecture Notes in Computer Science

出版年：2017

3. Turing–Taylor Expansions for Arithmetic Theories

作者： Joost J. Joosten

关键词：Provability logics ; Turing progressions ; Ordinal analysis ; Conservation results ; Fragments of arithmetic ; Closed fragment of GLP

刊名：Studia Logica

出版年：2016

4. Normalization proof for Peano Arithmetic

作者： Annika Siders

关键词：Normalization ; Peano Arithmetic ; Natural deduction ; 03F05 ; 03F30

刊名：Archive for Mathematical Logic

出版年：2015

5. A Theorem about Computationalism and “Absolute” Truth

作者： Arthur Charlesworth

关键词：Consistency ; Fallibility ; Formal Peano arithmetic ; Gödel’s Gibbs lecture ; Turing machine

刊名：Minds and Machines

出版年：2016

6. Frege, Dedekind, and the Modern Epistemology of Arithmetic

作者： Markus Pantsar

刊名：Acta Analytica

出版年：2016

7. A Theory of Infinitary Relations Extending Zermelo's Theory of Infinitary Propositions

作者： R. Gregory Taylor

关键词：Definable set ; Incompleteness Theorem for Peano Arithmetic ; Infinitary relation ; Russell’s substitutional theory ; Zermelo set theory

刊名：Studia Logica

出版年：2016

8. Kripke Models Built from Models of Arithmetic

关键词：Arithmetic ; Modal logic ; Provability logic ; Internal models

刊名：Lecture Notes in Computer Science

出版年：2015

9. Interpretation of constructive multi-typed theory in the theory of arithmetical truth

作者： F. Kachapova

关键词：Typed set theory ; constructive mathematics ; truth predicate ; formal arithmetic

刊名：Lobachevskii Journal of Mathematics

出版年：2015

10. The M-computations induced by accessibility relations in nonstandard models M of Hoare logic

作者： Cungen Cao ; Yuefei Sui ; Zaiyue Zhang

刊名：Frontiers of Computer Science in China

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(90)

题名(6)

关键词(12)

文摘(84)

按出版年细分(90)

2017年(2)

2016年(5)

2015年(5)

2014年(5)

2013年(6)

2012年(6)

2010年(6)

2009年(5)

2008年(8)

2007年(10)

2006年(8)

2005年(7)

2004年(2)

2003年(2)

2002年(6)

2001年(2)

2000年及以前(5)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700