Reyes G.E. A model of SDG in which only trivial distributions with compact support have a density. The aim of this note is to show that in the classifier of the theory of real analytic (i.e. C ω-)rings, linear functionals defined on the exponential whose base is the ring of “reals” (i.e., the generic model) and whose exponent is a finite power of this ring and having values in the reals, are trivial in a sense to be specified, provided that they have a density. This was conjectured by Anders Kock.

A model of SDG in which only trivial distributions with compact support have a density