Mathematical logic
Structure
Interpretation
Parity of a permutation
Sigma-algebra
Model theory
Mathematics
Logic