o-minimal theory

theory whose every model is o-minimal

Categories: