We give a new approach to the failure of the Canonical Base Property (CBP) in the so far only known counterexample, produced by Hrushovski, Palacin and Pillay. For this purpose, we will give an alternative presentation of the counterexample as an additive cover of an algebraically closed field. We isolate two fundamental weakenings of the CBP, which already appeared in work of Chatzidakis and Moosa-Pillay and show that they do not hold in the counterexample. In order to do so, a study of imaginaries in additive covers is developed. As a by-product of the presentation, we observe that a pure binding-group-theoretic account of the CBP is unlikely.
机构:
Albert Ludwigs Univ Freiburg, Abt Math Log, Math Inst, Ernst Zermelo Str 1, D-79104 Freiburg, GermanyAlbert Ludwigs Univ Freiburg, Abt Math Log, Math Inst, Ernst Zermelo Str 1, D-79104 Freiburg, Germany
机构:
Albert Ludwigs Univ Freiburg, Math Inst, Abt Math Log, Ernst Zermelo Str 1, D-79104 Freiburg, GermanyAlbert Ludwigs Univ Freiburg, Math Inst, Abt Math Log, Ernst Zermelo Str 1, D-79104 Freiburg, Germany
Loesch, Michael
Palacin, Daniel
论文数: 0引用数: 0
h-index: 0
机构:
Univ Complutense Madrid, Fac Matemat, Dept Algebra Geometria & Topol, Madrid 28040, SpainAlbert Ludwigs Univ Freiburg, Math Inst, Abt Math Log, Ernst Zermelo Str 1, D-79104 Freiburg, Germany