2 results
GENERALISATIONS OF THE DOYEN–WILSON THEOREM
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 97 / Issue 1 / February 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 166-167
- Print publication:
- February 2018
-
- Article
-
- You have access
- Export citation
A note on subsystems of open induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1318-1322
- Print publication:
- December 2007
-
- Article
- Export citation