interstice comments on A Technical Introduction to Solomonoff Induction without K-Complexity

[interstice]

I think the proof in the Gacs paper can be adapted to LSCSMs and functions but haven’t checked super carefully