Ordinal arithmetic with simultaneously defined theta-functions

被引：4

作者：

Weiermann, Andreas ^{[2
]}

Wilken, Gunnar ^{[1
]}

机构：

[1] Okinawa Inst Sci & Technol, Math Biol Unit, Okinawa 9040412, Japan

[2] Univ Ghent, Vakgroep Zuivere Wiskunde Comp Algebra, B-9000 Ghent, Belgium

来源：

MATHEMATICAL LOGIC QUARTERLY | 2011年 / 57卷 / 02期

关键词：

Proof theory; ordinal notations; ordinal arithmetic; well partial orders; patterns of resemblance; PROOF; SIGMA(1)-ELEMENTARITY; RESEMBLANCE; PATTERNS;

D O I：

10.1002/malq.200910125

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of well partial orders. The exact correspondence given here serves as a starting point for far reaching extensions of current results on patterns and well partial orders. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

引用

页码：116 / 132

页数：17

共 25 条

[1]

[Anonymous], 1977, PROOF THEORY

[2]

[Anonymous], 1985, Studies in Logic and the Foundations of Mathematics, DOI [10.1016/S0049-237X(09)70156-9, DOI 10.1016/S0049-237X(09)70156-9]

[3]

[Anonymous], 1999, London Math. Soc. Lecture Note Ser.

[4] SIMPLIFICATION OF BACHMANN METHOD FOR GENERATING LARGE COUNTABLE ORDINALS [J].

BRIDGE, J .

JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (02) :171-185

[5] A NEW SYSTEM OF PROOF-THEORETIC ORDINAL FUNCTIONS [J].

BUCHHOLZ, W .

ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (03) :195-207

[6]

BUCHHOLZ W, 1975, ARCH MATH LOG GRUNDL, V17, P179

[7]

BUCHHOLZ W, 1975, SPRINGER LECT NOTES, V500, P4

[8]

BUCHHOLZ W, 1981, LECT NOTES MATH, V897, P234

[9] Patterns of resemblance of order 2 [J].

Carlson, Timothy J. .

ANNALS OF PURE AND APPLIED LOGIC, 2009, 158 (1-2) :90-124

[10]

Carlson TJ, 2001, ANN PURE APPL LOGIC, V108, P19

← 1 2 3 →