Gentzen reduction revisited
type: Item
instance of: scholarly article
title: Gentzen reduction revisited
zbMATH Open document ID: 0436.03049
author: Mariko Yasugi
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3679819
zbMATH Keywords: finite interpretations
zbMATH Keywords: proof theory
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2977/prims/1195187498
OpenAlex ID: W2064291214
cites work: Q5556414
cites work: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
cites work: On provably recursive functions and ordinal recursive functions
cites work: On the Interpretation of Non-Finitist Proofs--Part I
cites work: Mathematical significance of consistency proofs
cites work: A survey of proof theory
cites work: Q3285631
cites work: Q5610986
cites work: Consistency proofs of subsystems of classical analysis
cites work: Q5579487
cites work: Q3230359
cites work: The Ω-consistency of ramified analysis
cites work: Functionals defined by transfinite recursion
cites work: The substitution method
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule
cites work: Q4773683
DOI: 10.2977/PRIMS/1195187498
description: scientific article; zbMATH DE number 3679819