We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many ...

We characterize a class of envy-as-inequity measures. There are three key axioms. Decomposability requires that overall envy is the sum of the envy within and between subgroups. The other two axioms ...

Axiomatic ideas, though seemingly formal, are deeply human truths accepted without proof, like the sun rising. These self-evident beliefs act as mental shortcuts, providing stability and comfort by ...