Model complete theories of trees

DOI10.1007/BF00970065MaRDI QIDQ2277448zbMATH OpenOpenAlexFDO

Authors G. E. Puninskij

Publication date 1990

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00970065

zbMATH Keywords

categoricitycountable treesmodel-complete theories of trees

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Categoricity and completeness of theories (03C35) Model theory of denumerable and separable structures (03C15) Models of other mathematical theories (03C65)

Recommendations

• The countable models and properties of the theory of complete binary trees
• scientific article; zbMATH DE number 4035798
• scientific article; zbMATH DE number 2213969
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• scientific article; zbMATH DE number 4083594

Cites work

• scientific article; zbMATH DE number 3829877 (Why is no real title available?)
• scientific article; zbMATH DE number 4035798 (Why is no real title available?)
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• Model-completeness for sheaves of structures

Cited in

(24)

• scientific article; zbMATH DE number 1389856 (Why is no real title available?)
• scientific article; zbMATH DE number 4187786 (Why is no real title available?)
• A new proof of quantifier elimination of complete forked trees
• scientific article; zbMATH DE number 2213969 (Why is no real title available?)
• Cardinality Quantifiers in MLO over Trees
• scientific article; zbMATH DE number 4035798 (Why is no real title available?)
• Weak sequential theories of finite full binary trees
• Degrees of Indiscernibles in Decidable Models
• scientific article; zbMATH DE number 1534574 (Why is no real title available?)
• Representing models by finite trees
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• Trees and finite satisfiability: proof of a conjecture of Burgess
• The countable models and properties of the theory of complete binary trees
• A countable model for the theory of complete dense binary order
• scientific article; zbMATH DE number 3894467 (Why is no real title available?)
• A variety theorem for trees and theories
• First-order theories of bounded trees
• The Model Completion of the Class of ℒ-Structures
• Countable models and infinite trees
• Models of adding relations to an organization structure of a complete K-ary tree
• Bad models in nice neighborhoods
• Metalinear recursive schemas on marked trees
• scientific article; zbMATH DE number 3914293 (Why is no real title available?)
• On model-theoretic tree properties

This page was built for publication: Model complete theories of trees

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