基本擴張

在模型論,給定在同一個語言L中的兩個結構M和N,我們稱M是N的基本子結構(有時表示為M
1. M是N的子結構,且
2. 對於所有有限元組,對於所有語言L的公式,我們有若且唯若。
我們稱N是M的基本擴展若且唯若M是N的基本子結構。

相關詞條

熱門詞條

聯絡我們