Celebratio Mathematica

Lou van den Dries

Complete Bibliography

Works connected to Jan Elise Holly

Filter the Bibliography List

clear

L. van den Dries and J. Holly: “Quan­ti­fi­er elim­in­a­tion for mod­ules with scal­ar vari­ables,” Ann. Pure Ap­pl. Lo­gic 57 : 2 (May 1992), pp. 161–​179. MR 1166465 Zbl 0772.​03017 article