Zoom Logo

My Meeting - Shared screen with speaker view
Pavel Pudlak
01:06:04
What is the weakest theory T for which you can show reversal, i.e., show equivalence to Con(T) over a weaker theory.
Pavel Pudlak
01:11:55
So the weakest theory is SRP?
Pavel Pudlak
01:15:33
Thanks. Next time I make sure my microphon is working.