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
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316122816607-0643:S0022481200031224:S0022481200031224_inline6.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316122816607-0643:S0022481200031224:S0022481200031224_inline7.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230316122816607-0643:S0022481200031224:S0022481200031224_inline6.png?pub-status=live)
- 6
- Cited by