According to the survey article by Inwagen and Sullivan on metaphysics one subject of contemporary metaphysics are questions on modality.
The authors explain „necessity de re“
as the necessary existence of an object, i.e. it is impossible that the object does not exists
or as the necessary possession of a property, i.e. it is impossible that a given object exists without having the property in question.
Inwagen and Sullivan indicate that the existence of examples for „necessity de re“ are debated. Of course properties which hold because of analyticity are necessary properties, e.g., "The circle is round" or other mathematical properties, which follow just from the definition.
My question: Which examples of necessity de re are proposed by contemporary metaphysicians, and by which arguments do they support their examples?