Predicativity and constructive mathematics

DOI10.1007/978-3-030-84706-7_11MaRDI QIDQ2080590zbMATH OpenOpenAlexFDO

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

Recommendations

• scientific article; zbMATH DE number 47249
• Predicate logics of constructive mathematical theories
• Predicate Logics of Constructive Arithmetical Theories
• Predicative foundations of arithmetic
• A Predicative Approach to Nonstandard Mathematics
• Predicative logic and formal arithmetic
• Predication and computable concepts
• scientific article; zbMATH DE number 3895059
• Challenges to predicative foundations of arithmetic
• Predicativity and structuralism in Dedekind's construction of the reals

Cites work

• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1302063 (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 3204549 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A general formulation of simultaneous inductive-recursive definitions in type theory
• Constructive definition of certain analytic sets of numbers
• Constructive set theory
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Elementary induction on abstract structures
• Formal proof - the four color theorem
• From constructivism to computer science
• Homotopy type theory. Univalent foundations of mathematics
• Inaccessibility in constructive set theory and type theory
• Induction-recursion and initial algebras.
• Inductively generated formal topologies.
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• La prédicativité
• Logical reflection and formalism
• Ordinal Numbers and Predicative Set Theory
• Partial realizations of Hilbert's program
• Predicativity and Feferman
• Program testing and the meaning explanations of intuitionistic type theory
• Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
• Systems of predicative analysis
• The calculus of constructions
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• The constructive Hilbert program and the limits of Martin-Löf type theory
• The prehistory of the subsystems of second-order arithmetic
• The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008
• Truth and the philosophy of mathematics
• Type-theoretic interpretation of iterated, strictly positive inductive definitions

Cited in

(9)

• A Predicative Approach to Nonstandard Mathematics
• Dunn's relevant predication, real properties and identity
• Exploring predicativity
• Wittgenstein on Weyl: the law of the excluded middle and the natural numbers
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
• scientific article; zbMATH DE number 1390282 (Why is no real title available?)
• Challenges to predicative foundations of arithmetic
• scientific article; zbMATH DE number 3292836 (Why is no real title available?)

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: Predicativity and constructive mathematics

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