Hyperfinite and standard unifications for physical theories
A set of physical theories is represented by a nonempty subset {SNjV|j∈ℕ} 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 M⊂Λ. If W∈M, then 𝒮W is...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2001-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/S0161171201006913 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | A set of physical theories is represented by a nonempty subset {SNjV|j∈ℕ} 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 M⊂Λ. If W∈M, then 𝒮W is a hyperfinite ultralogic and ⋃{SNjV(W)|j∈ℕ}=𝒮W(*W)∩Λ. A product hyperfinite ultralogic Π is defined on internal subsets of the product set *Λm and is shown to represent the application of 𝒮 to {W1,…,Wm}⊂M. There also exists a standard unifying injection SW such that 𝒮W(*W)⊂*SW(*W). |
|---|---|
| ISSN: | 0161-1712 1687-0425 |