INTERPRETABILITY IN ROBINSON'S Q

FERNANDO FERREIRA; GILDA FERREIRA

首页> 外文期刊>The bulletin of symbolic logic >INTERPRETABILITY IN ROBINSON'S Q

【24h】

INTERPRETABILITY IN ROBINSON'S Q

机译：罗宾逊Q的可解释性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson's position.

机译：爱德华·尼尔森（Edward Nelson）于1986年出版了一本书，捍卫了一种极端的形式主义数学观点，根据该观点，求幂的总数存在不可逾越的障碍。从积极的一面来看，纳尔逊（Nelson）着手研究一个程序，该程序可以在拉斐尔·罗宾逊（Raphael Robinson）的算术Q理论中解释多少数学。关于可以在Q中解释的内容，也包括不能如此解释的内容。我们解释其中一些结果，并依靠它们来讨论尼尔森的立场。

著录项

来源
《The bulletin of symbolic logic》 |2013年第3期|共29页
作者
FERNANDO FERREIRA; GILDA FERREIRA;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类 51.3;
关键词
mathematics; exponentiation; investigating;

机译：数学;求幂;研究;

相似文献

外文文献
中文文献
专利

1. MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY [J] . Damnjanovic Zlatan The bulletin of symbolic logic . 2017,第4期

机译：罗宾逊算术与辅助集体理论与扩展性的相互解释性
2. Soames’ and Southam's Oral Pathology (2018, 5th Edition) . Edited by: Robinson M Hunter K Pemberton M Sloan P ed. Published by Oxford University Press, UK Soames’ and Southam's Oral Pathology (2018, 5th Edition) Soames’ and Southam's Oral Pathology (2018, 5th Edition) . Edited by: Robinson M Robinson Robinson M M Hunter K Hunter Hunter K K Pemberton M Pemberton Pemberton M M Sloan P Sloan Sloan P P ed. Published by Oxford University Press, UK Oxford University Press, UK [J] . Brennan Peter A. Journal of oral pathology and medicine: Official publication of the International Association of Oral Pathologists and the American Academy of Oral Pathology . 2018,第10期

机译：Soame'和汉语的口腔病理学（2018年，第5版）。编辑：Robinson M Hunter K Pemberton M Sloan P ED。由牛津大学出版社出版，英国Soames'和韩国的口腔病理学（2018年，第5版）Soames'和韩国的口腔病理学（2018年，第5版）。编辑：罗宾逊M罗宾逊罗宾逊M猎人K Hunter Hunter K K Pemberton M Pemberton Pembertton M Sloan P Sloan Sloan P P ED。由牛津大学出版社出版，英国牛津大学出版社
3. WINNER: ALEX ROBINSON ROBINSON QUARRY MASTERS LTD [J] . Plant & civil engineer . 2016,第JanaaFeba期

机译：获奖者：ALEX ROBINSON ROBINSON QUARRY MASTERS LTD
4. Robinson Creek Railroad Tunnel Fire CSX Transportation CSXT MP CMN-6.0, SVE Branch Robinson Creek, Kentucky [C] . Randy K. Zeiger, Angie B. Johnson AREMA annual conference . 2015

机译：罗宾逊溪铁路隧道火灾CSX运输CSXT MP CMN-6.0，SVE分公司肯塔基州罗宾逊溪
5. The Knowledge Argument and Howard Robinson’s 2016 Case for Dualism and Mental Substance [D] . Maille, Daniel. 2021

机译：知识论证和Howard Robinson的2016年对二元和精神物质的案例
6. Interpretable Trials: Is Interpretability a Reason Why Clinical Trials Fail? [O] . Yi-Sheng Chao, Chao-Jung Wu, Hsing-Chien Wu, 2021

机译：可解释的试验：可解释性是临床试验失败的原因吗？
7. Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality [O] . Damnjanovic, Zlatan 2017

机译：Robinson算术和辅助集理论的相互可解释性具有可扩展性

INTERPRETABILITY IN ROBINSON'S Q

摘要

著录项

相似文献

相关主题

期刊订阅