The Best Possible Unification for any Collection of Physical Theories

Abstract

It is shown that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted supremum unification.

Plain Tex, 10 pages. In this version, additional material is added