Abstract.
We study in detail the blow-up procedure described in [BTW01]. We obtain a structure theorem for coreless polygroups as a double quotient space G//H, and a polygroup chunk theorem. Seeking to remove the arbitrary parameter needed for the blow-up, we find canonical Ø-invariant groupoids 𝔊 ≤ ℋ analogous to G and H above, and show that ℋ contains precisely all the arbitrary choices related to the blow-up.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ben-Yaacov, I., Tomašić, I., Wagner, F.O.: Constructing an almost-hyperdefinable group. Preprint, 2001
Comer, S.D.: Polygroups derived from cogroups. J. Algebra 89, 397–405 (1984)
Tomašić, I.: Geometric simplicity theory. Ph.D. thesis, University of Edinburgh, 2001
Wagner, F.O.: Simple theories. Kluwer Academic Publishers, 2000
Author information
Authors and Affiliations
Additional information
Mathematics Subject Classification (2000): 03C45, 03C60
Rights and permissions
About this article
Cite this article
Ben-Yaacov, I. On the fine structure of the polygroup blow-up. Arch. Math. Logic 42, 649–663 (2003). https://doi.org/10.1007/s00153-003-0173-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0173-3