词条详情
范畴性
更新 2026-08-17 07:42:32
| 词语 | 范畴性 |
|---|---|
| 拼音 | fàn chóu xìng |
| 拼音字母 | fan chou xing |
| 拼音首字母 | fcx |
| 注音 | ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ |
| 注音符号 | ㄈㄢ ㄔㄡ ㄒㄧㄥ |
扩展释义
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。
词条详情
更新 2026-08-17 07:42:32
| 词语 | 范畴性 |
|---|---|
| 拼音 | fàn chóu xìng |
| 拼音字母 | fan chou xing |
| 拼音首字母 | fcx |
| 注音 | ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ |
| 注音符号 | ㄈㄢ ㄔㄡ ㄒㄧㄥ |
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。