In the paper, we consider the application of the theory of probability metrics in several areas in the field of finance. First, we argue that specially structured probability metrics can be used to quantify stochastic dominance relations. Second, the methods of the theory of probability metrics can be used to arrive at a general axiomatic treatment of dispersion measures and probability metrics...

In the paper, we consider the application of the theory of probability metrics in several areas in the field of finance. First, we argue that specially structured probability metrics can be used to quantify stochastic dominance relations. Second, the methods of the theory of probability metrics can be used to arrive at a general axiomatic treatment of dispersion measures and probability metrics...

In the “little theories” version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theories may be related by inclusion or by theory interpretation. We argue that the little theories approach is a desirable way to formalize mathematics, and we describe how imps, an Interactive Mathematical Proof System, supports it.

We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures.

Linking Behavioral Economics, Axiomatic Decision Theory and General Equilibrium Theory