User blog comment:Wythagoras/Graphs/@comment-1605058-20140911185546/@comment-5529393-20140911235419

I don't know what the first three graphs mentioned in PSSCG(4) are, so I can't comment on that.

We may not know the exact strength of PSSCG, but we know (from Friedman) that PSSCG is not provably recursive in Pi-1-1-CA_0, so it is at least at level $$\vartheta (\Omega_\omega)$$. But Wythagoras, if PSSCG is at that level, where are you getting $$\theta (\Omega-\omega, 1)$$ from?