The problem is not PHP, but IE. For some reason IE and the web server are not communicating correctly. Yes, we tried counseling, but it did not work, IE is very stubborn.
Add this to the top of the page.
header('cache-control: private');
session_cache_limiter('private_no_expire');