Abstract
This paper presents a dynamical model that studies the effect of anti-retroviral therapy on human immunodeficiency virus (HIV)/acquired immunodeficiency syndrome (AIDS) transmission. Basic qualitative properties of the model are derived. The model is shown not to exhibit backward bifurcation and thus, disease eradication is possible when the basic reproduction number is less than unity. A critical level of anti-retroviral therapy administration that needs to be achieved for possible disease eradication was also derived.
Key words: HIV/AIDS, mathematical modeling, equlibrium points.