{"id":"arxiv/2606.29087","url":"https://arxiv.org/abs/2606.29087","tags":["math.LO"],"score":0,"title":"The failure of stable composition for equivalence relations in simple theories","domain":"math.LO","source":"arxiv","authors":["Mostafa Mirabi"],"reviews":0,"subject":"math.LO","summary":"Casanovas and Potier proved that algebraic quantification preserves stability of formulas. They also gave a nonsimple example, answering a question of Laskowski, showing that the algebraicity hypothesis cannot simply be replaced by NFCP, and asked whether a similar example exists in a simple theory. We give such an example in elementary form. The edge-set structure of the random bipartite graph has two definable equivalence relations, both stable and NFCP, whose relational composition has the order property. The resulting theory is simple and $\\aleph_0$-categorical. We also prove a formal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-27","reactions":{}}