Who can see your viewing activity?
What is the weakest theory T for which you can show reversal, i.e., show equivalence to Con(T) over a weaker theory.
So the weakest theory is SRP?
Thanks. Next time I make sure my microphon is working.