Beweistheoretische Abgrenzung von Teilsystemen der Analysis

DOI10.1007/BF01641707zbMath0434.03040OpenAlexW2062512450MaRDI QIDQ1139586

Kurt Schütte

Publication date: 1980

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/177977

zbMATH Keywords

proof theoryproof theoretic ordinals

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Consistency proofs of subsystems of classical analysis
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Über Teilsysteme von $$\bar \Theta $$ ({g})
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Systems of predicative analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Beweistheoretische Abgrenzung von Teilsystemen der Analysis