Some applications of Jensen's coding theorem

Consistency results about ordinal definability

Kenneth McAloon · Annals of Mathematical Logic · 1971 · 86 citations

Natural Sciences, Mathematics, Set Theory +6

Long projective wellorderings

Leo Harrington · Annals of Mathematical Logic · 1977 · 59 citations

A new construction of non-constructible ${Δ^1}_3$ subset of ω

Ronald H. Jensen, Håvard Johnsbråten · Fundamenta Mathematicae · 1974 · 31 citations · Full text

Natural Sciences, Mathematics, Set Theory +6