A social choice function is group strategy-proof on a domain if no group of agents can manipulate its final outcome to their own benefit by declaring false preferences on that domain. There are a number of economically significant domains where interesting rules satisfying individual...

We model network formation when heterogeneous nodes enter sequentially and form connections through both random meetings and network-based search, but with type-dependent biases. We show that there is “long-run integration”, whereby the composition of types in sufficiently old nodesʼ...