A new proof of quantifier elimination of complete forked trees

MaRDI QIDQ3609625zbMATH OpenFDO

Authors Ying-Ying Fu, Fuxing Shen, Maonian Wu

Publication date 6 March 2009

zbMATH Keywords

complete \(k\)-ary treecomplete binary treecomplete infinitary treequantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1894708
• Model complete theories of trees
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• Frontiers of Combining Systems
• The classification of all quantifier-eliminable directed or undirected trees with a root

Cited in

(6)

• The classification of all quantifier-eliminable directed or undirected trees with a root
• scientific article; zbMATH DE number 5582998 (Why is no real title available?)
• scientific article; zbMATH DE number 4035798 (Why is no real title available?)
• Complete Coinductive Theorems. II
• scientific article; zbMATH DE number 1894708 (Why is no real title available?)
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)

This page was built for publication: A new proof of quantifier elimination of complete forked trees

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