Lipschitz Determinacy and Arithmetic Transfinite Recursion

被引：0

作者：

Cordon-Franco, Andres ^{[1
]}

Lara-Martin, F. Felix ^{[1
]}

Loureiro, Manuel J. S. ^{[2
]}

机构：

[1] Univ Seville, Dept Ciencias Comp & Inteligencia Artificial, Seville, Spain

[2] Lusofona Univ, Fac Engn, Lisbon, Portugal

来源：

TWENTY YEARS OF THEORETICAL AND PRACTICAL SYNERGIES, CIE 2024 | 2024年 / 14773卷

关键词：

Reverse mathematics; Determinacy; Lipschitz games; Semilinear Ordering principle; GAMES;

D O I：

10.1007/978-3-031-64309-5_23

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We investigate the logical strength of Lipschitz determinacy, and the tightly related Semi-Linear Ordering principle, for the first levels of the Borel hierarchy in the Baire space. As a result, we obtain characterizations of ATR(0) in terms of these determinacy principles.

引用

页码：285 / 297

页数：13

共 12 条

[1]

[Anonymous], 1983, Thesis (Ph.D.)

[2] Lipschitz and Wadge binary games in second order arithmetic [J].

Cordon-Franco, Andres ;

Lara-Martin, F. Felix ;

Loureiro, Manuel J. S. .

ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (09)

[3]

Day A., An effective classification of Borel Wadge classes

[4] Ranked structures and arithmetic transfinite recursion [J].

Greenberg, Noam ;

Montalban, Antonio .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2008, 360 (03) :1265-1307

[5]

Hirst J.L., 2001, Lecture Notes in Logic, V21, P222

[6] Reverse mathematics and rank functions for directed graphs [J].

Hirst, JL .

ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 39 (08) :569-579

[7]

Loureiro M.J.S., 2016, Ph.D. thesis

[8] BOREL CLASSES AND CLOSED GAMES - WADGE-TYPE AND HUREWICZ-TYPE RESULTS [J].

LOUVEAU, A ;

SAINTRAYMOND, J .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1987, 304 (02) :431-467

[9] The limits of determinacy in second-order arithmetic [J].

Montalban, Antonio ;

Shore, Richard A. .

PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2012, 104 :223-252

[10] Infinite games in the Cantor space and subsystems of second order arithmetic [J].

Nemoto, Takako ;

MedSalem, MedYahya Ould ;

Tanaka, Kazuyuki .

MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (03) :226-236

← 1 2 →