The Limits of Predicativity Revisited

DOI10.1007/978-3-030-49424-7_10OpenAlexW3048492431MaRDI QIDQ5013901

Wolfram Pohlers

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_10

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General topology (54-XX)

Related Items

POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Elementary induction on abstract structures
• The syntax and semantics of infinitary languages
• Predicativity and Feferman
• La prédicativité
• Systems of predicative analysis
• Semi-Formal Calculi and Their Applications
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis