The Cardinality of the second uniform indiscernible
arXiv:math/9205201
Abstract
When the second uniform indiscernible is , the Martin-Solovay tree only constructs countably many reals; this resolves a number of open questions in descriptive set theory.