Ok, after re-reading his post, I agree he probably did mean “strong Nash Equilibrium”. Can you make a note in your post that both of you are really talking about the Strong Nash equilibrium? As far as I can tell, ‘all players run Freaky Fairness’ is actually a (plain) Nash equilibrium so the current wording is rather confusing.
“any coalition of players that decides to deviate (collectively or individually) cannot win total payoff greater than their group security value”
This phrase was what caused me to assume that a strong Nash Equilibrium was meant.
Ok, after re-reading his post, I agree he probably did mean “strong Nash Equilibrium”. Can you make a note in your post that both of you are really talking about the Strong Nash equilibrium? As far as I can tell, ‘all players run Freaky Fairness’ is actually a (plain) Nash equilibrium so the current wording is rather confusing.
Changed it, and I think you are correct about it being an ordinary Nash Equilibrium (one of infinitely many).