Beweistheoretische Abgrenzung von Teilsystemen der Analysis
type: Item
instance of: scholarly article
title: Beweistheoretische Abgrenzung von Teilsystemen der Analysis
zbMATH Open document ID: 0434.03040
DOI: 10.1007/BF01641707
author: Kurt Schütte
published in: Monatshefte für Mathematik
publication date: 1980-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/177977
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 3675883
zbMATH Keywords: proof theory
zbMATH Keywords: proof theoretic ordinals
MaRDI profile type: Publication
cites work: Über Teilsysteme von $$\bar \Theta $$ ({g})
cites work: Provable wellorderings of formal theories for transfinitely iterated inductive definitions
cites work: Systems of predicative analysis
cites work: Q5622162
cites work: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: Q3895467
cites work: Ordinals connected with formal theories for transfinitely iterated inductive definitions
cites work: Q4143279
cites work: Q5519134
cites work: Consistency proofs of subsystems of classical analysis
OpenAlex ID: W2062512450
description: scientific article; zbMATH DE number 3675883