The model companion of width-two orders

DOI10.1023/A:1006058625041MaRDI QIDQ1267599zbMATH OpenOpenAlexFDO

Authors Anthony Bonato, Dejan Delić

Publication date 2 March 1999

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006058625041

zbMATH Keywords

d-homogeneous orderexistentially closedmodel companionwidth-two order

Mathematics Subject Classification ID

Properties of classes of models (03C52) Partial orders, general (06A06)

Review text

Let \(W_n\) denote the universal class of all width-\(n\) orders. Building on work of Pouzet the authors prove that the class of existentially closed members of \(W_2\), \(W^{\text{ec}}_2\), is a first-order class. In fact for \(A\in W_2\), \(A\in W^{\text{ec}}_2\) if and only if \(A\) is a linear sum of d-homogeneous width-2 orders. As corollaries of their characterization they have that the model companion of \(W_2\) exists and it is complete, decidable, non-finitely axiomatizable, and has \(2^{\aleph}_0\) countable models. Another corollary is that \(W_2\) has a decidable universal theory.

Recommendations

• Decidable Model Companions
• Model companions for finitely generated universal Horn classes
• Existentially closed models via constructible sets: There are 2^ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups
• scientific article; zbMATH DE number 3952732
• Countability of widths of algebraic reducibility structures for models in some classes

Cited in

(2)

• Model companions for finitely generated universal Horn classes
• Decidable Model Companions

This page was built for publication: The model companion of width-two orders

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