The determinacy strength of -comprehension
Under an Elsevier user license
open archive
MSC
03B30
03F35
Keywords
Reverse mathematics
Determinacy
Second-order arithmetic
Cited by (0)
- 1
Current address: Zur Wipperaller 28, 38448 Wolfsburg, Germany.
Copyright © 2010 Elsevier B.V. All rights reserved.