The following pages link to (Q5513756):
Displaying 9 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)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
