Abstract
The objective of this project is to construct non-perturbative models in relativistic quantum field theory (QFT), at the level of rigor required by Mathematical Physics. By model, here, we mean a net $\calA(O)$ of operator algebras whose elements are interpreted as observables in the region$ $\calO$. The main mathematical tools employed are the modular theory of Tomita and Takesaki, non-c…