Provability algebras and proof-theoretic ordinals. I
type: Item
instance of: scholarly article
title: Provability algebras and proof-theoretic ordinals. I
zbMATH Open document ID: 1048.03045
published in: Annals of Pure and Applied Logic
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 2091341
zbMATH Keywords: provability logic
zbMATH Keywords: provability algebra
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: proof-theoretic ordinal analysis
author: Lev D. Beklemishev
MaRDI profile type: Publication
full work available at URL: j.apal.2003.11.030
OpenAlex ID: W1994332324
cites work: Induction rules, reflection principles, and provably recursive functions
cites work: A proof-theoretic analysis of collection
cites work: Proof-theoretic analysis by iterated reflection
cites work: On the induction schema for decidable predicates
cites work: Q4397069
cites work: Q3773876
cites work: On strong provability predicates and the associated modal logics
cites work: Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt
cites work: Subrecursive degrees and fragments of Peano arithmetic
cites work: Q4121962
cites work: Q4215633
cites work: Deduction-preserving "Recursive Isomorphisms" between theories
cites work: Q4934564
cites work: Q3866106
cites work: Q4694581
cites work: Provability interpretations of modal logic
cites work: Systems of Logic Based on Ordinals†
DOI: 10.1016/J.APAL.2003.11.030
Recommended article: Theories and ordinals in proof theory
Recommended article: Proof theory and ordinal analysis
Recommended article: Q4273865
Recommended article: Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
Recommended article: Mathematical proof theory in the light of ordinal analysis
Recommended article: STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
Recommended article: About the proof-theoretic ordinals of weak fixed point theories
Recommended article: Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection
Recommended article: Q3743303
Recommended article: A new system of proof-theoretic ordinal functions
description: scientific article; zbMATH DE number 2091341