I should! But I’ve got a lot of things to write up!
It also needs a better name, as there have been several things termed “weak logical induction” over time.
Did this ever get written up? I’m still interested in it.
Ah, not yet, no.
I should! But I’ve got a lot of things to write up!
It also needs a better name, as there have been several things termed “weak logical induction” over time.
Did this ever get written up? I’m still interested in it.
Ah, not yet, no.