Article contents
On the consistency of the Definable Tree Property on ℵ1
Published online by Cambridge University Press: 12 March 2014
Abstract
In this paper we prove the equiconsistency of “Every ω1 –tree which is first order definable over (, ε) has a cofinal branch” with the existence of a reflecting cardinal. We also prove that the addition of MA to the definable tree property increases the consistency strength to that of a weakly compact cardinal. Finally we comment on the generalization to higher cardinals.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2000
References
REFERENCES
- 6
- Cited by