Model complete theories of trees
From MaRDI portal
Publication:2277448
DOI10.1007/BF00970065zbMATH Open0726.03026OpenAlexW1980266913MaRDI QIDQ2277448FDOQ2277448
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
Recommendations
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)
Cites Work
Cited In (24)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new proof of quantifier elimination of complete forked trees
- Title not available (Why is that?)
- Cardinality Quantifiers in MLO over Trees
- Title not available (Why is that?)
- Weak sequential theories of finite full binary trees
- Degrees of Indiscernibles in Decidable Models
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A variety theorem for trees and theories
- First-order theories of bounded trees
- Countable models and infinite trees
- The Model Completion of the Class of ℒ-Structures
- Bad models in nice neighborhoods
- Models of adding relations to an organization structure of a complete \(K\)-ary tree
- Metalinear recursive schemas on marked trees
- Title not available (Why is that?)
- 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)