Ossification of the posterior ligament is mediated by osterix via inhibition of the β-catenin signaling pathway.