Undecidability vs transfinite induction for the consistency of hyperarithmetical sets (original) (raw)

Archiv für mathematische Logik und Grundlagenforschung, 1980

Salvatore Caporaso hasn't uploaded this paper.

Let Salvatore know you want this paper to be uploaded.

Ask for this paper to be uploaded.