User:Gregbard/model theory
- Model theory
- Interpretation (logic)
- Model
- Truth value
- Semantic consequence
- Logical validity
- Model-theoretically consistent formula
- Countable model
- Denumerable model
- Finite model
- Finite strong model
- Finite weak model
- Non-standard model
- Normal model
- Uncountable model
- Isomorphism of models
- Model of a formal system
- Model of a formula