Error and predicativity

DOI10.1007/978-3-319-20028-6_2MaRDI QIDQ3195675zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

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

Recommendations

• Predicativity and Feferman
• The predicative conception of the continuum
• Predicativity and regions-based continua
• scientific article; zbMATH DE number 896244
• scientific article; zbMATH DE number 1254485

Cites work

• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 2204757 (Why is no real title available?)
• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• Constructive definition of certain analytic sets of numbers
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• La prédicativité
• Subsystems of second order arithmetic
• Systems of predicative analysis
• The constructive Hilbert program and the limits of Martin-Löf type theory
• The unfolding of non-finitist arithmetic

Cited in

(3)

• A constructive picture of Noetherian conditions and well quasi-orders
• Predicativity and Feferman
• Error principle

This page was built for publication: Error and predicativity

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