abstract: In the framework of finite dimensional vector spaces, a function is the Fourier transform of a measure if and only if it is positive-semi-definite. This classical result of Bochner has an extension to infinite dimensional nuclear spaces, known as Minlos theorem. In this talk I want to present an analogous result for point processes. One may express then states of particle systems in terms of this so-called Bogoliubov functionals. The technical challenge is to identify the non-linear support of the measure.