Set theory has many names whose origin is not well known,
such as V and L for two most important classes, square and diamond principles,
mice models etc. Is there a reference which gives reasons for the choices, perhaps
together with the author and date of their introduction?
Thank you, J.P.