Méthode d'automorphisme

La méthode d'automorphisme est une méthode permettant de démontrer la non-définissabilité d'un ensemble dans une structure. On rappelle que pour tous homomorphisme h : | A | → | B | {\displaystyle h:|{\mathfrak {A}}|\to |{\mathfrak {B}}|} , individus a 1 , … ,…