No CrossRef data available.
Article contents
A note on subsystems of open induction
Published online by Cambridge University Press: 12 March 2014
Abstract
We completely characterize the logical hierarchy of subsystems of open induction introduced by Boughattas [1].
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2007