初等類

初等類(elementary class)一個理論的模型組成的模型類.

基本介紹

  • 中文名:初等類
  • 外文名:elementary class
初等類一個理論的模型組成的模型類.設K是語言牙的一族模型(同構的模型只算作一個),如果存在牙中的一個理論T,使K恰由T的一切模型組成,則稱K為一個初等類.如果存在牙中的一個語句a,使K恰由a的一切模型組成,則稱K為一個基本初等類

相關詞條

熱門詞條

聯絡我們