来源:Journal of Symbolic Logic, 2013, 78(2): 523-542.
DOI:10.2178/jsl.7802100
摘要
We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the %26apos;geometric%26apos; sorts which suffice to code all imaginaries in the corresponding algebraic setting.