Article contents
On the relation between choice and comprehension principles in second order arithmetic1
Published online by Cambridge University Press: 12 March 2014
Abstract
We give a new elementary proof of the comparison theorem relating and ; the proof does not use Skolem theories.
By the same method we prove:
a) , for suitable classes of sentences;
b) proves the consistency of , for finite k, and hence is stronger than .
a) and b) answer a question of Feferman and Sieg.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1986
Footnotes
The results of this paper were presented at the Mathematisches Forschungsinstitut Oberwolfach during the meeting held from January 2 to January 7, 1984.
References
REFERENCES
- 6
- Cited by