publication venue for Properties expressible in small fragments of the theory of the hyperfinite II 1 factor. 12:37-47. 2020 An Introduction to the Web-Based Formalism. 9:5-48. 2017