Gentzen reduction revisited (Q1140640)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Gentzen reduction revisited	scientific article

Statements

scholarly article

0 references

Gentzen reduction revisited (English)

0 references

0 references

Publications of the Research Institute for Mathematical Sciences, Kyoto University

0 references

publication date

1980

0 references

zbMATH Keywords

finite interpretations

0 references

proof theory

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.2977/prims/1195187498

0 references

0 references

Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie

0 references

On provably recursive functions and ordinal recursive functions

0 references

On the Interpretation of Non-Finitist Proofs--Part I

0 references

Mathematical significance of consistency proofs

0 references

A survey of proof theory

0 references

0 references

0 references

Consistency proofs of subsystems of classical analysis

0 references

0 references

0 references

The Ω-consistency of ramified analysis

0 references

Functionals defined by transfinite recursion

0 references

The substitution method

0 references

Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

0 references

Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.2977/PRIMS/1195187498

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1140640

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1140640&oldid=38608661"