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 条

[31] DECISION PROBLEMS FOR MULTIPLE SUCCESSOR ARITHMETICS [J].

THATCHER, JW .

JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) :182-&

[32]

Visser A, 1998, CSLI LECT N, P307

[33] THE UNPROVABILITY OF SMALL INCONSISTENCY - A STUDY OF LOCAL AND GLOBAL INTERPRETABILITY [J].

VISSER, A .

ARCHIVE FOR MATHEMATICAL LOGIC, 1993, 32 (04) :275-298

[34] AN INSIDE VIEW OF EXP - OR, THE CLOSED FRAGMENT OF THE PROVABILITY LOGIC OF I-DELTA-0 + OMEGA-1 WITH A PROPOSITIONAL CONSTANT FOR EXP [J].

VISSER, A .

JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) :131-165

[35] Faith & falsity [J].

Visser, A .

ANNALS OF PURE AND APPLIED LOGIC, 2005, 131 (1-3) :103-131

[36]

Visser A., 2006, Lecture notes in logic, V26, P284

[37]

VISSER A, 1986, RUUCS8615 UTR U

[38]

Visser A., 1990, MATH LOGIC, P175

[39] Pairs, sets and sequences in first-order theories [J].

Visser, Albert .

ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (04) :299-326

[40] Notes on polynomially bounded arithmetic [J].

Zambella, D .

JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (03) :942-966

← 1 2 3 4 →