Undecidability vs transfinite induction for the consistency of hyperarithmetical sets
Salvatore Caporaso, Giovanni Pani
DOI: 10.1007/bf02318023
Journal: Archiv für Mathematische Logik und Grundlagenforschung
ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds
Journal Info
Journals:
ISSN 0003-9268