Extra
精选上位词
绝对性
简介
在数学逻辑中,如果在某些类型的结构(也称为模型)中具有相同的真值,则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。
有两种较弱的部分绝对形式。如果结构m的每个子结构n中的公式的真实性来自于m中的真值,公式是 向下绝对的。如果一个结构n中的一个公式的真实性意味着每个结构m的延伸n的真值,则该公式是向上绝对的。
| 中文名 | 绝对性 |
|---|---|
| 原始名称 | 绝对性 |
| 外文名 | absoluteness |
| 应用 | 集合理论与模型理论 |
| 形式 | 向上或向下 |
| 英文名 | absoluteness |
| 领域 | 数学 |
相关实体