
We show how the assumption of a \({\underset \tilde{} \Sigma}^ 1_ 3\)-absolute core model can be used to lift directly results about \({\underset \tilde{} \Delta}^ 1_ 2\) and \({\underset \tilde{} \Sigma}^ 1_ 2\) sets of reals to the third level of the projective hierarchy. We sketch the idea of how decomposing the Martin-Solovay tree on \(\omega \times u_{\omega}\) for a complete \(\Pi^ 1_ 2\) set can do this; and remark how many applications of this give the same effect as assuming the hypothesis of \({\underset \tilde{} \Delta}^ 1_ 2\)-determinacy.
Determinacy principles, Martin- Solovay tree, Logic, projective sets, core model, projective hierarchy, determinacy, Descriptive set theory, Souslin sets
Determinacy principles, Martin- Solovay tree, Logic, projective sets, core model, projective hierarchy, determinacy, Descriptive set theory, Souslin sets
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
