OP-00999 Open Existential embedding of L(F₂) into a matrix ultraproduct OA · continuous model theory · existential embeddings · free group factors · Peterson's operator algebra problems · ultraproducts