期刊
SELECTA MATHEMATICA-NEW SERIES
卷 28, 期 1, 页码 -出版社
SPRINGER INT PUBL AG
DOI: 10.1007/s00029-021-00748-w
关键词
Patterns of resemblance; Sigma(1)-elementarity; Pi(1)(1)-comprehension; Admissible sets; Bachmann-Howard ordinal; Dilators
资金
- Projekt DEAL
This paper proves the equivalence between Timothy Carlson's patterns of resemblance and Pi(1)(1)-comprehension.
Timothy Carlson's patterns of resemblance employ the notion of Sigma(1)-elementarity to describe large computable ordinals. It has been conjectured that a relativization of these patterns to dilators leads to an equivalence with Pi(1)(1)-comprehension (Question 27 of A. Montalban's Open questions in reverse mathematics, Bull. Symb. Log. 17(3)2011, 431-454). In the present paper we prove this conjecture. The crucial direction of the equivalence (towards Pi(1)(1)-comprehension) is reduced to a previous result of the author, which is concerned with relativizations of the Bachmann-Howard ordinal.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据