A new construction of non-constructible Δ 1 3 subset of ω Ronald Jensen; Håvard Johnsbråten — 1974 Fundamenta Mathematicae
Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie Ronald Björn Jensen — 1967 Mathematische Annalen
Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität. Ronald Björn Jensen Archiv für mathematische Logik und Grundlagenforschung