Sự mở rộng mô hình tree [(formula)n,Y] vấn đề tương đương giữa các mô hình tree [u(formula)n, Y], tree [B,Y+] và tree [V,Y+]
Sự mở rộng mô hình tree [(formula)n,Y] vấn đề tương đương giữa các mô hình tree [u(formula)n, Y], tree [B,Y+] và tree [V,Y+]