Distributive justice, political stability, and liberal rights: three essays in the application of formal models to political philosophy