最近在查资料时注意到「范畴性」这个词,索性整理成一篇小笔记,方便以后查阅,也分享给同样感兴趣的朋友。
- 拼音
- fàn chóu xìng
- 字母
- fan chou xing
- 首字母
- fcx
- 注音
- ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言,T是L中的完全理论。如果T恰有一个可数模型(在同构意义下),则称T为ω范畴的。
词语博客 · 记录每一个汉字的故事
fàn chóu xìng · ㄈㄢˋ ㄔㄡˊ ㄒㄧㄥˋ
最近在查资料时注意到「范畴性」这个词,索性整理成一篇小笔记,方便以后查阅,也分享给同样感兴趣的朋友。
范畴性(categoricity)是理论的某个基数的模型都同构的一种特性。设L为一可数语言,T是L中的完全理论。如果T恰有一个可数模型(在同构意义下),则称T为ω范畴的。