Proof-theoretic analysis by iterated reflection
type: Item
instance of: scholarly article
title: Proof-theoretic analysis by iterated reflection
zbMATH Open document ID: 1026.03041
published in: Archive for Mathematical Logic
publication date: 2003-09-16T00:00:00Z
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 1982530
zbMATH Keywords: iterated reflection
zbMATH Keywords: ordinal analysis of formal systems
zbMATH Keywords: proof-theoretic ordinals
zbMATH Keywords: logical complexity
zbMATH Keywords: fragments of arithmetic
zbMATH Keywords: conservation
zbMATH Keywords: restricted induction
author: Lev D. Beklemishev
MaRDI profile type: Publication
full work available at URL: s00153-002-0158-7
OpenAlex ID: W1989844562
DOI: 10.1007/S00153-002-0158-7
Recommended article: Proof Theoretic Analysis by Iterated Reflection
Recommended article: Proof theory of reflection
Recommended article: Q4524774
Recommended article: Q4263166
Recommended article: Q3138833
Recommended article: Proof analysis in intermediate logics
Recommended article: Proof-theoretic analysis of termination proofs
Recommended article: Q3837732
Recommended article: Q3024916
Recommended article: Analytic Methods for the Logic of Proofs
description: scientific article; zbMATH DE number 1982530