Similar to 算術の超準モデル

• 

  埋め込み (数学)

  Embedding
  
• 

  クリプキ・モデル

  Kripke semantics
  
• 

  コンパクト性定理

  Compactness theorem
  
• 

  指数体

  Exponential field
  
• 

  指数閉体

  
• 

  順序指数体

  Ordered exponential field
  
• 

  初等同値性

  Elementary equivalence
  
• 

  制御されたデジタル貸出

  Controlled digital lending
  
• 

  生存可能システムモデル

  Viable system model
  
• 

  超積

  Ultraproduct
  
• 

  定義可能集合

  Definable set
  
• 

  定常集合

  Stationary set
  
• 

  等式コンパクト代数

  
• 

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

  Variety (universal algebra)
  
• 

  ブール値モデル

  Boolean-valued model
  ▼-1 trends

  
• 

  保存拡大

  Conservative extension
  
• 

  有限モデル理論

  Finite model theory
  
• 

  レーヴェンハイム–スコーレムの定理

  Löwenheim–Skolem theorem