The following pages link to (Q5513756):
Displayed 17 items.
- How to be a structuralist all the way down (Q542132) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Nested recursion (Q1131248) (← links)
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Error and Predicativity (Q3195675) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory (Q5350338) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)