Lucas Teixeira comments on Proof idea: SLT to AIT

[Lucas Teixeira]

Interesting. Curious to know what your construction ended up looking like and I’m looking forward to reading the resulting proof!