Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis

James S. Barnes, Jun Le Goh, Richard A. Shore. Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis. Bulletin of Symbolic Logic, 28(1):133-149, 2022. [doi]

Abstract

Abstract is missing.