Growing Commas. A Study of Sequentiality and Concatenation

被引：29

作者：

Visser, Albert ^{[1
]}

机构：

[1] Univ Utrecht, Dept Philosophy, NL-3584 CS Utrecht, Netherlands

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2009年 / 50卷 / 01期

关键词：

concatenation; strings; sequentiality; INTERPRETABILITY; LOGIC;

D O I：

10.1215/00294527-2008-028

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation TC. We show that pairing is not definable in TC. We determine a reasonable extension of TC that is sequential, that is, has a good sequence coding.

引用

页码：61 / 85

页数：25

共 40 条

[1]

[Anonymous], INDAGATIONES MATH

[2]

[Anonymous], THESIS PENNSYLVANIA

[3]

[Anonymous], H FRIEDMANS RES FDN

[4]

[Anonymous], 1986, Bounded Arithmetic

[5]

[Anonymous], 1953, Undecidable Theories

[6]

[Anonymous], 1935, Studia Philosophica,Commentarii Societatis Philosophicae Polonorum

[7]

Buchi J., 1986, ARCH MATH LOGIC, V26, P101

[8]

CACIC V, 2007, LOGIC GROUP PREPRINT, V258

[9]

Collins GE., 1970, Notre Dame J. Form. Logic, V11, P477

[10] STRING THEORY [J].

CORCORAN, J ;

FRANK, W ;

MALONEY, M .

JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (04) :625-637

← 1 2 3 4 →