Expertini Research Research
Mathematics PDF Available Non-peer-reviewed Preprint

Adding linear orders

Saharon Shelah, Pierre Simon  ·  Published 2011-03-01

Abstract

We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a totally categorical theory for which every expansion by a linear order has IP. There is also an \omega-stable NDOP theory for which every expansion by a linear order interprets bounded arithmetic.

Keywords

📄 Full Paper Available as PDF
This paper is available as a downloadable PDF.
📄 Download PDF

✨ AI Plain-English Summary

Get a plain-English summary of this paper generated by AI (5 free per day).

Comments (0)

No comments yet. Be the first to comment.