The following pages link to (Q4767297):
Displayed 5 items.
- Non-determinism in Gödel's system \(T\) (Q693050) (← links)
- A domain model characterising strong normalisation (Q958484) (← links)
- Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)