Landon Elkind - recent PhD and Killam Postdoctoral Fellow in Philosophy at the University of Alberta - has published "Word choice in mathematical practice: a case study in polyhedra," Synthese (2021).