International Journal of Mathematics and Mathematical Sciences
Volume 2004 (2004), Issue 17-20, Pages 861-872
doi:10.1155/S0161171204307283

The best possible unification for any collection of physical theories

Abstract

We show 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 standard supremum unification. An unrestricted hyperfinite ultralogic unification for sets of physical theories is also obtained.