model-theoretical