Actually, herd immunity works if it reduces the R0 to less than 1. Obviously, the extinction happens a lot faster wit a vaccine as you describe that reduces R0

Actually, herd immunity works if it reduces the R0 to less than 1. Obviously, the extinction happens a lot faster wit a vaccine as you describe that reduces R0 to zero, but an exponential decline will still result in extinction (barring other reservoirs).