Report - Metapredicative Subsystems of Analysis · lot of subsystems of second order arithmetic with proof-theoretic ordinals between 0 and ’" 000. (We use in the sequel the terms \second

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form