Connecting real and hyperarithmetical analysis

Sam Sanders

Going back to Kreisel in the Sixties, hyperarithmetical analysis is a cluster of logical systems just beyond arithmetical comprehension. Only recently natural examples of theorems…