scientific article; zbMATH DE number 1534574

zbMATH Open0952.03028MaRDI QIDQ4517360FDOQ4517360

Authors: Yurij Dmitrievich Korol'kov 

Publication date: 21 November 2000

Title of this publication is not available (Why is that?)

Recommendations

• Representing models by finite trees
• On model-theoretic tree properties
• On the expressivity and applicability of model representation formalisms
• Model complete theories of trees
• Resolution on formula-trees
• scientific article; zbMATH DE number 4022664
• Functional trees and automorphisms of models
• scientific article; zbMATH DE number 1051240
• Tree-level formalism
• scientific article; zbMATH DE number 2155183

zbMATH Keywords

first-order theoryback-and-forth methodformula tree

Mathematics Subject Classification ID

Geological problems (86A60) Basic properties of first-order languages and structures (03C07)

Cited In (1)

• Representing models by finite trees

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 Q4517360)