The following pages link to (Q3041187):
Displaying 4 items.
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Simplified collapsing functions and their applications (Q687397) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)
