Similar Items: Bounded variation and the strength of Helly's selection theorem
- Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
- The logical strength of Büchi's decidability theorem
- Preservation and decomposition theorems for bounded degree structures
- Statman's Hierarchy Theorem
- A Proof of Kamp's theorem
- A Proof of Stavi's Theorem