Model complete theories of trees

DOI10.1007/BF00970065zbMath0726.03026OpenAlexW1980266913MaRDI QIDQ2277448

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) Models of other mathematical theories (03C65) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)

Cites Work

• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
• Model-completeness for sheaves of structures
• Unnamed Item
• Unnamed Item