Table of Contents Author Guidelines Submit a Manuscript
International Journal of Mathematics and Mathematical Sciences
Volume 2004, Issue 17, Pages 861-872

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 Hindawi Publishing Corporation. 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.


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.