Конечная система аксиом для модельного компаньона теории всех мультидеревьев

Мулыпидеревом называется частично упорядоченное множество, не содержащее четверки $\{x,y,u,v\}$, где $x>y\langle u\rangle v$. В работе выписана конечная система аксиом для модельного компаньона $M^*$ теории всех мультидеревьев. Конечная аксиоматизируемость теории $M^*$ и ее счетная категоричность были доказаны автором ранее.