Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
type: Item
instance of: scholarly article
title: Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
zbMATH Open document ID: 1057.03050
author: Toshiyasu Arai
published in: Annals of Pure and Applied Logic
publication date: 2004-11-22T00:00:00Z
review text: The author extends his work in Part I [Ann. Pure Appl. Logic 122, 1--85 (2003; Zbl 1032.03049)] from the Mahlo case to \(\Pi_3\)-reflection. The analysis is given by use of ordinal diagrams defined by the author in J. Symb. Log. 65, 1375--1394 (2000; Zbl 0979.03043)].
reviewed by: Reinhard Kahle
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F15
zbMATH DE Number: 2117325
zbMATH Keywords: Reflecting ordinals
zbMATH Keywords: Ordinal analysis
zbMATH Keywords: Proof theory
zbMATH Keywords: Proof-theoretic ordinals
MaRDI profile type: Publication
full work available at URL: j.apal.2004.01.001
OpenAlex ID: W1576539916
cites work: Q4934555
cites work: Ordinal diagrams for Π3-reflection
cites work: Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
cites work: Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
cites work: Proof theory of reflection
cites work: Q4079598
DOI: 10.1016/J.APAL.2004.01.001
description: scientific article; zbMATH DE number 2117325