Report copyright - Introduction · 1.1. Reverse mathematics. In this paper we only use common subsystems of second-order arithmetic. The base theory we use will usually be RCA 0, i.e., the system that
Please pass captcha verification before submit form