International Journal of Mathematics and Mathematical Sciences
Volume 2004 (2004), Issue 17, Pages 861-872
doi:10.1155/S0161171204307283
The best possible unification for any collection of physical theories
Mathematics Department, United States Naval Academy, 572C Holloway Road, Annapolis 21402-5002, MD, USA
Received 1 July 2003
Copyright © 2004 Robert A. Herrmann. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
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.