Similar to コンパクト性定理

• 

  等式コンパクト代数

  
• 

  バラエティ (普遍代数学)

  Variety (universal algebra)
  
• 

  ブール値モデル

  Boolean-valued model
  ▼-1 trends

  
• 

  保存拡大

  Conservative extension
  
• 

  有限モデル理論

  Finite model theory