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