SOSOA

(redirected from Subsystems of Second Order Arithmetic)
AcronymDefinition
SOSOASubsystems of Second Order Arithmetic (book; Stephen G. Simpson)
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
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.