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