 Generally speaking, Ludwig’s program is, in comparison to those of Sneed and Scheibe, less descriptive and more normative with respect to physics. He developed an ideal of how physical theories should be formulated rather than reconstructing the actual practice. The principal worked-out example that comes close to this ideal is still the axiomatic account of quantum mechanics, as described in Ludwig (1985, 1987).