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).
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback