Predicativity and constructive mathematics
From MaRDI portal
Publication:2080590
DOI10.1007/978-3-030-84706-7_11OpenAlexW4250578329MaRDI QIDQ2080590
Publication date: 9 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_11
Related Items
Uses Software
Cites Work
- 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
- 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
