标准全域_数学名词 - 线报百科mbji.cn

标准全域

数学名词

标准全域（standard universe）亦称超结构，是一个包括力十分强的标准模型。

简介

标准全域亦称超结构，是一个包括力十分强的标准模型。

设S是一个集合，令，其中是的幂集，则

称为以S为个体集的超结构或标准全域。

推广

例如，若实数域，则对于任意，有序对

对于 R 上的序关系≤ 来说，因为，所以，对任一实函数来说，因为，所以连续函数空间，f 连续，若复数域，则希尔伯特空间

模型

[model]

一个模型就是一个数学结构。

假如是公式。如果存在使得在中为真，记作，就称是的一个模型。如果为一理论（语句的集合），而对一切，都有，则称是的一个模型，记作。

参考资料

最新修订时间：2022-09-19 17:32

条目作者

概述

简介

推广

模型

参考资料