Approximations of acyclic graphs

В статье исследуются аппроксимации теории ациклических графов. Доказано, что теория любого ациклического графа (дерева) конечного диаметра псевдоконечна, то есть любая такая теория аппроксимируется теориями конечных структур (ациклических графов, деревьев). Также доказано, что ациклический граф бесконечного диаметра с бесконечным числом лучей псевдоконечен.