[2][3] He graduated from King's College, Cambridge, in 1968 and earned his PhD at the University of Leeds in 1973 for a dissertation titled "Some Results about Cardinal Numbers without the Axiom of Choice" which was supervised by Frank Drake.
[5] Truss refused to campaign with his daughter on her selection for Conservative candidate for South West Norfolk in the 2010 UK general election.
152, for saving him from "making some rash conjectures (by disproving them)", and "notably" for his contribution to the question of what are the possible cycle structures of automorphisms of M?
"[15] In 1999, Truss and S. Barry Cooper, also of the University of Leeds, jointly edited two volumes of papers in the London Mathematical Society Lecture Notes Series arising from the European meeting of the Association for Symbolic Logic in Leeds in July 1997 on sets and proofs[16][17] and models and computability.
[16] The volumes were welcomed by philosopher Graham Priest of the University of Queensland who noted that they concentrated on logic as practiced in mathematics departments with little content of a philosophical or computer science nature, but, possibly as a result, were more coherent than usual for collections of conference papers.