A countable model for the theory of complete dense binary order

zbMATH Open1155.05311MaRDI QIDQ5456006FDOQ5456006

Authors: Lei Chen, Fuxing Shen 

Publication date: 4 April 2008

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

zbMATH Keywords

binary treecountable modelsequence of nationaltheory of complete dense binary order

Mathematics Subject Classification ID

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

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)