The Limits of Predicativity Revisited
type: Item
instance of: scholarly article
title: The Limits of Predicativity Revisited
DOI: 10.1007/978-3-030-49424-7_10
author: Wolfram Pohlers
published in: The Legacy of Kurt Schütte
publication date: 2021-12-03T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 54-XX
zbMATH DE Number: 7438594
MaRDI profile type: Publication
full work available at URL: 978-3-030-49424-7 10
OpenAlex ID: W3048492431
cites work: Q3329455
cites work: The syntax and semantics of infinitary languages
cites work: Q5344167
cites work: Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
cites work: Semi-Formal Calculi and Their Applications
cites work: Proof theory. The first step into impredicativity
cites work: Elementary induction on abstract structures
cites work: Q5596755
cites work: La prédicativité
cites work: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
cites work: Systems of predicative analysis
cites work: Predicativity and Feferman
cites work: Q4075450
cites work: Q4357731
description: scientific article; zbMATH DE number 7438594