释
范畴性
fàn chóu xìng · ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ
修撰于 2026-06-30 02:21:41
音义
| 拼音 | fàn chóu xìng |
|---|---|
| 字母 | fan chou xing |
| 首字母 | fcx |
| 注音 | ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ |
| 注音符号 | ㄈㄢ ㄔㄡ ㄒㄧㄥ |
广训
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。
fàn chóu xìng · ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ
修撰于 2026-06-30 02:21:41
| 拼音 | fàn chóu xìng |
|---|---|
| 字母 | fan chou xing |
| 首字母 | fcx |
| 注音 | ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ |
| 注音符号 | ㄈㄢ ㄔㄡ ㄒㄧㄥ |
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言，T是L中的完全理论。如果T恰有一个可数模型(在同构意义下)，则称T为ω范畴的。