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