Characterizations of ordinal analysis
type: Item
instance of: scholarly article
title: Characterizations of ordinal analysis
author: Yanyan Li
published in: Annals of Pure and Applied Logic
publication date: 2023-02-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/2209.09765
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 7653726
zbMATH Keywords: proof theory
zbMATH Keywords: ordinal analysis
zbMATH Keywords: reflection principles
zbMATH Keywords: second-order arithmetic
MaRDI profile type: Publication
OpenAlex ID: W4311488761
cites work: Q4110995
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: Q5610986
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: Incompleteness and jump hierarchies
cites work: Degree-invariant, analytic equivalence relations without perfectly many classes
cites work: Martin's Conjecture: A Classification of the Naturally Occurring Turing Degrees
cites work: REFLECTION RANKS AND ORDINAL ANALYSIS
cites work: Q4215633
cites work: Proof theory. The first step into impredicativity
cites work: Q4934564
cites work: A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
cites work: Logical dreams
cites work: Q3395521
cites work: Q3464650
cites work: Q4088795
DOI: 10.1016/J.APAL.2022.103230
description: scientific article; zbMATH DE number 7653726