This paper provides an explicit construction of the Fleming-Viot process with viability selection in a Bayesian nonparametric framework, and derives its stationary distribution. The measure-valued diffusion is obtained as the infinite population limit of the empirical measures of a semi-Markov...