Adding linear orders

DOI10.2178/JSL/1333566647MaRDI QIDQ2892687zbMATH OpenOpenAlexFDO

Authors S. Shelah, Pierre Simon

Publication date 19 June 2012

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.0206, https://projecteuclid.org/euclid.jsl/1333566647

zbMATH Keywords

NDOP theoryNIP theorypseudofinite arithmetictotally categorical theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Total orders (06A05)

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.

Recommendations

• Linear extensions of additive partial orders
• Linear extensions of orderings
• Linear orderings of low degree
• Algebraic linear orderings
• Order-of-addition modeling
• Linear order nad the real line
• LINEAR ORDERS ON RINGS
• Asymptotically linear order
• scientific article; zbMATH DE number 3882490

Cites work

• Random amalgamation of simple theories
• Stability theory, permutations of indiscernibles, and embedded finite models

Cited in

(9)

• Wild theories with o-minimal open core
• Linear orders in NIP structures
• Hereditary G-compactness
• Characterization of NIP theories by ordered graph-indiscernibles
• A wild model of linear arithmetic and discretely ordered modules
• Externally definable sets and dependent pairs. II
• NIP for some pair-like theories
• Indiscernibles in monadically NIP theories
• Preservation of NATP

This page was built for publication: Adding linear orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892687)