“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 8676 |
|
| Abstract: | |
|
We completely characterize the logical hierarchy of subsytems of open induction introduced by Boughattas [1].
Download TeX format |
|
| back to top | |
