After a thoroughly confused exchange with Vladimir Nesov, I’m now realizing that I’ve made up enough definitions that I can’t easily pluck out results, I’m going to have to finish the long and tedious part of the writeup first. So no writeup tonight. But I have resumed writing now, so hopefully that’ll translate into writeups soon.
Tonight, huh? Please do! I’ve been waiting for some writeups from you for awhile now :-)
After a thoroughly confused exchange with Vladimir Nesov, I’m now realizing that I’ve made up enough definitions that I can’t easily pluck out results, I’m going to have to finish the long and tedious part of the writeup first. So no writeup tonight. But I have resumed writing now, so hopefully that’ll translate into writeups soon.