分類:模型論

維基百科，自由的百科全書

頁面分類 > 人文學科 > 哲學 > 邏輯 > 數理邏輯 > 模型論

維基共享資源上的相關多媒體資源：模型論

子分類

此分類包含以下 3 個子分類，共 3 個。

有

有限模型理論 (1個分類)

模

模型论学家 (5個頁面)

解

解释 (2個分類， 2個頁面)

「模型論」分類中的頁面

此分類共有 29 個頁面，以下顯示其中 29 個。

模型论

B

布尔值模型

G

K

可靠性定理

L

勒文海姆–斯科伦定理

N

內模型

保

保守扩展

初

初等等价

前

前束范式

型

型 (模型论)

基

基本子结构

塔

塔斯基-沃特测试

子

子结构

字

字元集 (數理邏輯)

斯

泛

泛函谓词

緊

紧致性定理

結

结构 (数理逻辑)

解

解釋 (邏輯)

賦

賦值 (邏輯)

超

超積

選

量

量詞消去

非

飽

飽和模型

取自「https://zh.wikipedia.org/w/index.php?title=Category:模型论&oldid=74834354」

分類：

隱藏分類：