SOSOA

(redirected from Subsystems of Second Order Arithmetic)
AcronymDefinition
SOSOASubsystems of Second Order Arithmetic (book; Stephen G. Simpson)
References in periodicals archive ?
Here papers by specialists discuss some new developments in reverse mathematics and subsystems of second order arithmetic since the 1998 publication of Simpson's (Pennsylvania State U.) Subsystems of Second Order Arithmetic, for which this anthology can be considered a sequel.