Subsystems of Second Order Arithmetic examina as bases formais da aritmética de segunda ordem, com foco em subsistemas frequentemente estudados na literatura como RCA0 e WKL0.

A obra discute conexões com teoria da prova, modelos e graus de computabilidade, apresentando resultados sobre a força comprovacional de princípios e suas implicações metodológicas.

Inclui análise de exemplos formais e métodos para construção de modelos dentro dos subsistemas, oferecendo tratamento técnico de conceitos como redução de princípios e hierarquias sistêmicas.