Recursive Models and the Divisibility Poset