# Osterwalder, Schrader ## Axioms for Euclidean Green's functions \[Links: [Springer](https://link.springer.com/article/10.1007/BF01645738)\] \[Abstract: \] ## Remark - correction in [[1975#Osterwalder, Schrader]]: E0 needs to be replaced by either E$\tilde{0}$ or E$0^\prime$ - establishes [[0112 Osterwalder-Schrader reconstruction theorem]] ## Main theorems - **E -> R**: To a given sequence of Euclidean Green's functions satisfying E0-E4, there corresponds to a unique sequence of Wightman distributions with the properties R0-R5 ([[0165 Wightman axioms]]). - **R -> E**: To a given sequence of Wightman distributions satisfying R0-R5 ([[0165 Wightman axioms]]), there corresponds a unique sequence of Euclidean Green's functions with the properties E0-E4. # Penrose ## Naked singularities \[Links: [Inspire](https://inspirehep.net/literature/87998), [DOI](https://doi.org/10.1111/j.1749-6632.1973.tb41447.x)\] ## Comments - origin of [[0476 Penrose inequality|Penrose inequality]]