# Browse Dissertations and Theses - Mathematics by Author "De Castro, Rodrigo"

• (1992)
An attempt is made to study the mathematical strength of the weak second order theories of Bounded Arithmetic U$\sbsp{2}{i}$ and V$\sbsp{2}{i}$, i $\geq$ 0, introduced by S. Buss. It is first shown that U$\sbsp{2}{1}$ can ...

application/pdf

PDF (3MB)