Article contents
Variations of the Martin-Solovay tree
Published online by Cambridge University Press: 12 March 2014
Abstract
Assuming determinacy, the model L[T2] does not depend on the choice of T2.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
REFERENCES





- 1
- Cited by