Théories d'arbres

DOI10.2307/2273103zbMath0523.03023OpenAlexW2145952934MaRDI QIDQ3674629

Michel Parigot

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273103

zbMATH Keywords

independence propertyarborescent structurestheories of treesunstability of trees

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Related Items (5)

Back-and-forth for systems of antichains ⋮ The Theory of Ordered Abelian Groups does not have the Independence Property ⋮ A model-theoretic characterisation of clique width ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ VC-density for trees

Cites Work

• Ranks and definability in superstable theories

This page was built for publication: Théories d'arbres