Dugald Macpherson Charles Steinhorn On Variants of o-Minimality. 165-209 1996 79 Ann. Pure Appl. Logic 2 db/journals/apal/apal79.html#MacphersonS96