Representing models by finite trees

MaRDI QIDQ447662zbMATH OpenFDO

Authors Yurij Dmitrievich Korol'kov

Publication date 5 September 2012

Published in The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

zbMATH Keywords

decidabilityelementary equivalencefirst-order theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Recommendations

• scientific article; zbMATH DE number 1534574
• Model complete theories of trees
• scientific article; zbMATH DE number 1696804
• Representability of trees and some of their applications
• Constructing infinite models represented by tree automata
• On model-theoretic tree properties
• On representing concepts in finite models
• Representations of infinite tree sets
• Tree representations of graphs
• Tree representations via ordinal machines

Cited in

(3)

• On representing concepts in finite models
• Models of adding relations to an organization structure of a complete \(K\)-ary tree
• scientific article; zbMATH DE number 1534574 (Why is no real title available?)

This page was built for publication: Representing models by finite trees

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