International Journal of Mathematics and Mathematical Sciences
Volume 28 (2001), Issue 2, Pages 93-102
Hyperfinite and standard unifications for physical theories
Mathematics Department, U. S. Naval Academy, 572C Holloway RD, Annapolis 21402-5002, MD, USA
Received 1 March 2001
Copyright © 2001 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.
A set of physical theories is represented by a nonempty subset of the lattice of consequence operators defined on a language . It is established that there exists a unifying injection defined on the nonempty set of significant representations for natural systems . If , then is a hyperfinite ultralogic and . A product hyperfinite ultralogic is defined on internal subsets of the product set and is shown to represent the application of to . There also exists a standard unifying injection such that .