Birth and death on a Brownian flow: a Feller semigroup and its generator and a martingale problem

We consider a system of particles in birth and death on a stochastic flow. The system includes a particle process tracking the spatial configuration of live particles on the flow. The particle process is a Markov process on the space of bounded counting measures. We show that its transition semigroup is a Feller semigroup and exhibit its pregenerator. The pregenerator defines a martingale problem. We show that the particle process solves the problem uniquely.