Similar to 初等同値性

Ultraproduct

Stationary set

Variety (universal algebra)

Boolean-valued model

Löwenheim–Skolem theorem