Error and Predicativity

DOI10.1007/978-3-319-20028-6_2zbMath1461.03004OpenAlexW1159890461WikidataQ59897053 ScholiaQ59897053MaRDI QIDQ3195675

Laura Crosilla

Publication date: 20 October 2015

Published in: Evolving Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_2

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (2)

A constructive picture of Noetherian conditions and well quasi-orders ⋮ Predicativity and Feferman

Cites Work

• The constructive Hilbert program and the limits of Martin-Löf type theory
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• The unfolding of non-finitist arithmetic
• Constructive definition of certain analytic sets of numbers
• La prédicativité
• Systems of predicative analysis
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Error and Predicativity