You may perhaps find what you require at The quantifiers Open, compact and overt real intervals in ASD or my home page.
Alternatively, you can search this site using Google: