Submission date: 14 February 2019

Abstract:

A well-known theorem of Shelah asserts that a theory has OP (the order property) if and only if it has IP (the independence property) or SOP (the strict order property). We give a mild strengthening of Shelah's theorem for classical logic and a generalization of his theorem for continuous logic.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1902.05229: pdf, ps.