50 citations · 50 across the 2 of their papers we have counts for
1 paper · 1 filter
Stephen Cook, Neil Thapen
The replacement (or collection or choice) axiom scheme asserts bounded quantifier exchange. We prove the independence of this scheme from various weak theories of arithmetic, somet…