A finite system of axioms for the model companion of the theory of all multitrees
Diskretnaya Matematika, Tome 2 (1990) no. 4, pp. 3-10
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{DM_1990_2_4_a0,
author = {G. E. Puninskii},
title = {A~finite system of axioms for the model companion of the theory of all multitrees},
journal = {Diskretnaya Matematika},
pages = {3--10},
year = {1990},
volume = {2},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_1990_2_4_a0/}
}
G. E. Puninskii. A finite system of axioms for the model companion of the theory of all multitrees. Diskretnaya Matematika, Tome 2 (1990) no. 4, pp. 3-10. http://geodesic.mathdoc.fr/item/DM_1990_2_4_a0/