The Limits of Predicativity Revisited

DOI10.1007/978-3-030-49424-7_10MaRDI QIDQ5013901zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The legacy of Kurt Schütte
• Predicativity and Feferman
• Exploring predicativity
• The predicative conception of the continuum
• A Note on (Meta)predicative Wellordering Proofs

Cites work

• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Elementary induction on abstract structures
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1066668 (Why is no real title available?)
• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• scientific article; zbMATH DE number 3316894 (Why is no real title available?)
• La prédicativité
• Predicativity and Feferman
• Proof theory. The first step into impredicativity
• Semi-formal calculi and their applications
• Systems of predicative analysis
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• The syntax and semantics of infinitary languages

Cited in

(9)

• Prediction from partial information and hindsight, an alternative proof
• The problem of cross-world predication
• Limits in the revision theory. More than just definite verdicts
• A Peculiar Connection Between the Axiom of Choice and Predicting the Future
• A remark on failures of conglomerability of prevision
• scientific article; zbMATH DE number 1870416 (Why is no real title available?)
• scientific article; zbMATH DE number 7370589 (Why is no real title available?)
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

This page was built for publication: The Limits of Predicativity Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013901)