Predicativity and constructive mathematics

DOI10.1007/978-3-030-84706-7_11OpenAlexW4250578329MaRDI QIDQ2080590

Laura Crosilla

Publication date: 9 October 2022

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

zbMATH Keywords

invarianceconstructive mathematicspredicativityvicious circle principleinductive definitions

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Mathematical logic and foundations (03-XX)

Related Items (1)

POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

Uses Software

• Nuprl

Cites Work

• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• The constructive Hilbert program and the limits of Martin-Löf type theory
• The calculus of constructions
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• From constructivism to computer science
• Inaccessibility in constructive set theory and type theory
• Induction-recursion and initial algebras.
• Inductively generated formal topologies.
• Truth and the philosophy of mathematics
• Logical reflection and formalism
• Ordinal Numbers and Predicative Set Theory
• Constructive definition of certain analytic sets of numbers
• Partial realizations of Hilbert's program
• Constructive set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• A general formulation of simultaneous inductive-recursive definitions in type theory
• Predicativity and Feferman
• Program Testing and the Meaning Explanations of Intuitionistic Type Theory
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
• La prédicativité
• Systems of predicative analysis
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Predicativity and constructive mathematics