scientific article; zbMATH DE number 4035798

MaRDI QIDQ3775533zbMATH OpenFDO

Authors G. E. Puninskij

Publication date 1988

zbMATH Keywords

countably categoricalfinitely axiomatizablemodel companionmodel complete theorymultitreereticles

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Categoricity and completeness of theories (03C35) Partial orders, general (06A06)

Recommendations

• scientific article; zbMATH DE number 4187786
• Model complete theories of trees
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• Strongly \(\forall\)-finite theories of unars
• Trees, ordinals and termination
• scientific article; zbMATH DE number 2213969
• Weak sequential theories of finite full binary trees
• Bad models in nice neighborhoods
• The countable models and properties of the theory of complete binary trees
• A new proof of quantifier elimination of complete forked trees

Cited in

(5)

• Model complete theories of trees
• Models of adding relations to an organization structure of a complete K-ary tree
• On model-theoretic tree properties
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• scientific article; zbMATH DE number 4187786 (Why is no real title available?)

This page was built for publication:

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