The following pages link to (Q4071232):
Displaying 8 items.
- \(\Delta\)-languages for sets and LOGSPACE computable graph transformers (Q1392148) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Beweistheorie vonKPN (Q3880843) (← links)
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)