You may perhaps find what you require at Inside every model of ASD lies an arithmetic universe or my home page.
Alternatively, you can search this site using Google: