e.g., 复旦大学周杰伦

Query String: 绝对性

Named-Entity Disambiguation:绝对性

点击更新页面

Visualization Timeline Curiosity

Information

在数学逻辑中,如果在某些类型的结构(也称为模型)中具有相同的真值,则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。
有两种较弱的部分绝对形式。如果结构M的每个子结构N中的公式的真实性来自于M中的真值,公式是向下绝对的。如果一个结构N中的一个公式的真实性意味着每个结构M的延伸N的真值,则该公式是向上绝对的。

InfoBox

中文名 绝对性
外文名称 Absoluteness
应用 集合理论与模型理论
状态 向上或向下
相关理论 Shoenfield绝对定理
领域 数学

CN-Probase Concept

Baidu Baike Tag

Linking

Copyright © 2014-2017 KW Lab@Fudan University