Osterwalder-Schrader Axioms for the Gaussian Free Field

Source: url:https://github.com/mrdouglasny/OSforGFF Authors: Michael R. Douglas, Sarah Hoback, Anna Mei, Ron Nissim Status: verified Main declarations: OSforGFF.gaussianFreeField_satisfies_all_OS_axioms Tags: analysis, measure-theory, probability, mathematical-physics MSC: 81T08, 60G15, 46G12