Interesting! Can you write up the WLIC, here or in a separate post?
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.
Interesting! Can you write up the WLIC, here or in a separate post?
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.