Representing models by finite trees

zbMATH Open1250.03053MaRDI QIDQ447662FDOQ447662

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)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Models of adding relations to an organization structure of a complete \(K\)-ary tree
• On representing concepts in finite models

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)