Report - New directions in reverse mathematicsSubsystems of second-order arithmetic. Second-order arithmetic, Z2, is a two-sorted theory with variables for numbers and sets of numbers, and

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form