Abstract not found

This paper deals with aspects of my doctoral dissertation 1

this paper.

The foundations of measurement theory were invesUgated by modeltheoreUc methods. The purpose was to establish a firm ba~is for <;leneral system theory. One major result was the formulatton of the concepts of scale, scale transformation and the proof of the existence, for an arbitrary scale, of the group of scale transformatiqns which "leave the scale form invariantII. As an illustration of the appUcabiUty of these concepts and because of its intrinsic interest an expo~ition was <;liven of the theory of measurement for extensive quantities. A novel formulation of the usual axioms was developed which made them ~lementary formulae in the first order predicate calculus. Thus it was P9ssible to show that this theory is model-complete 0 Then A. Robinson I f! tlleorems were applied to show that this theory is negation complete. In the formulation of the existence theorem for scale transformation 1 groups no restriction was placed on the empirical 'E-model Qr the numerical 'E-model and in the other illustrative examples it wa $ shown how different choices of these 'E-models lead to different scale transformation groups. An example of a theory of a non-extensive quantity was presented but the methods used before would not Yield model-completeness for this theory and thus an interesting unsolved problem remains.