We answer some problems set by Priest in [11] and [12], in particular refuting Priest's Conjecture that all LP-models of Th(N) essentially arise via congruence relations on classical models of Th(N).

As the title suggests, I have a problem in which I need to formulate an LP model. I'm supposed to work in Excel and use the Solver Add-in feature.<BR><BR>I've done several other problems already, but ...