Somewhat tongue in cheek. Motivated by some of the recent polemics against metaphysics.
A List of Achievements of Analytic Metaphysics
1. Leibniz’s Principle of Identity of Indiscernibles.
2. Theory of continuous quantities, from Leibniz to Robinson.
3. Frege’s analysis of cardinality.
4. Abstraction and abstraction principles (Frege, Dedekind).
5. Invention of quantification theory; predication; what variables are (Frege).
6. Existence not a predicate, rather a quantifer (Frege).
7. Concepts as functions (Frege).
8. Theory of infinity (Bolzano, Cantor).
9. Mereology (Lesniewski, et al.).
10. Theory of relations (Russell).
11. Non-classical logics.
12. Incompleteness of formal systems (Gödel).
13. Concept of a computable function (Gödel, Turing, Church, et al).
14. Rotating solutions of Einstein's equations with CTCs (Gödel).
15. Tarski’s theory of truth; object language/metalanguage; undefinability theorem.
16. Kripke models; possible worlds anaylsis (Kripke, Lewis, et al.).
17. Kripke’s fixed-point theory of truth; grounding.
18. Formal semantics & pragmatics.
20. Supervenience (Kim, et al.)
21. Representation theorems; applicability of analysis.
22. Field’s theory of applicability of mathematics; conservation theorems.
23. Properties of identity and indiscernibility.
Of course, many of the contributions to metaphysics listed here were made by individuals working in the intersection of mathematics, logic and philosophy.