The following pages link to About Goodman's theorem (Q1942040):
Displaying 5 items.
- Extended bar induction in applicative theories (Q753810) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- The space of measurement outcomes as a spectral invariant for non-commutative algebras (Q1929295) (← links)
- A note on Goodman's theorem (Q1970595) (← links)
- On Goodman realizability (Q2330510) (← links)