model theory

structure in model theory

type in model theory

model

stability in model theory, geometric stability theory

definable set, definable groupoid