A countable model for the theory of complete dense binary order

MaRDI QIDQ5456006zbMATH OpenFDO

Authors Lei Chen, Fuxing Shen

Publication date 4 April 2008

zbMATH Keywords

binary treecountable modelsequence of nationaltheory of complete dense binary order

Mathematics Subject Classification ID

Trees (05C05) Combinatorics of partially ordered sets (06A07)

Recommendations

• scientific article; zbMATH DE number 2213969
• The countable models and properties of the theory of complete binary trees
• Finding \(2^{\aleph_0}\) countable models for ordered theories
• Model complete theories of trees
• Recursion theory in a lower semilattice

Cited in

(1)

• Finding \(2^{\aleph_0}\) countable models for ordered theories

This page was built for publication: A countable model for the theory of complete dense binary order

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