Referenced by:

• automorphism-group
• logic-definable
• uniformity
• with-respect-to