2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing on…