If the the theorems approximately hold under approximate agreement on observables.
Yeah, there is still the issue that the theorems aren’t always robust to approximation on the Agreement on Observables condition, though the Solomonoff version is and there’s probably other ways to sidestep the issue.
Yup, that is correct.
Yeah, there is still the issue that the theorems aren’t always robust to approximation on the Agreement on Observables condition, though the Solomonoff version is and there’s probably other ways to sidestep the issue.