I am looking for any suggestions for research-level survey articles that expose Russell's type theory (in the context of his philosophy of mathematics). Of particular interest are:
- Russell's reasons behind introducing his theory of types - what was his dissatisfaction with existing systems (that of Frege for example). Is the notion of a type theory generally plausible in the philosophy of mathematics?
- The role and merit of the Axioms of Infinity and Reducibility - to what extent is their use justified, and have recent developments shed light on their role in Russell's philosophy and more generally as axioms in mathematics.
- Russell's reasons for ramifying his theory of types - was the ramification well-motivated and was it successful?
I would be grateful for recommended reading, particularly if there are any authors who publish extensively on Russell's mathematical philosophy and cover all of these topics, or if any survey articles exist.