and also:
header("Pragma: no-cache");
If this doesn't work (IE will sometimes ignore these headers), to refresh the page you can link to it and append some random stuff to the query string. IE gets the page if the query string is different. It ain't pretty but it gets it refreshed. I use:
<a href="page.php3?refresh=<?=substr(md5(microtime()),0,4)?>">refresh</a>