<p>We develop the model theory of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2025_967_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>-stable K-loops and symmetric spaces. Continuing Poizat’s seminal work, we notably establish an appropriate version of the indecomposability theorem and we adapt Lascar’s analysis to this context.</p>
We develop the model theory of \(\omega \)-stable K-loops and symmetric spaces. Continuing Poizat’s seminal work, we notably establish an appropriate version of the indecomposability theorem and we adapt Lascar’s analysis to this context.