Highly Influential

- Published 2010 in Math. Log. Q.
DOI:10.1002/malq.200910009

We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for finite abelian groups is provable in S 2 + iWPHP(Σ b 1), and use it to derive Fermat’s little theorem and Euler’s criterion for the Legendre symbol in S 2 + iWPHP(PV ) extended by… CONTINUE READING

### Presentations referencing similar topics