Skip to main content
8 events
when toggle format what by license comment
Jul 29, 2018 at 14:45 vote accept Morteza Azad
Jul 29, 2018 at 3:20 history edited Morteza Azad CC BY-SA 4.0
added 32 characters in body
Jul 28, 2018 at 21:56 history edited Morteza Azad CC BY-SA 4.0
added 90 characters in body
Jul 28, 2018 at 21:13 history edited Morteza Azad CC BY-SA 4.0
added 148 characters in body
Jul 28, 2018 at 20:35 review Close votes
Jul 30, 2018 at 8:50
Jul 28, 2018 at 20:32 answer added Noah Schweber timeline score: 8
Jul 28, 2018 at 20:15 comment added Andrés E. Caicedo "But this chain of theorems says nothing about the possible consistency strength of BDF". Not at all, the chain actually answers your question, we know exactly what its consistency strength is.
Jul 28, 2018 at 19:01 history asked Morteza Azad CC BY-SA 4.0