Abstract
We completely characterize the logical hierarchy of subsystems of open induction introduced by Boughattas [1].
Citation
Shahram Mohsenipour. "A note on subsystems of open induction." J. Symbolic Logic 72 (4) 1318 - 1322, December 2007. https://doi.org/10.2178/jsl/1203350788
Information
Published: December 2007
First available in Project Euclid: 18 February 2008
zbMATH: 1135.03025
MathSciNet: MR2371207
Digital Object Identifier: 10.2178/jsl/1203350788
Subjects:
Primary:
03F30
,
03H15
,
12F10
Keywords:
Galios theory
,
Open induction
,
subsystem
Rights: Copyright © 2007 Association for Symbolic Logic
