艾伯特Thoralf Skolem

1934年挪威Thoralf Skolem给一个明确的建设现在称为非标准模型的算法,包含“无限”和无穷小,每一个都是一定阶级的无限序列。

…和挪威数学家Thoralf Skolem,元逻辑的先锋(1933)。最初,或标准,解释需要普通的非负整数{0,1,2,。}域,0和1表示0和1,象征和符号+·…

…以不同的形式在Skolem建设的非标准模型的算法在1933年)。此前,如果给定结构的理论模型,然后他们的超积也这样一个模型,因为理论中的每一句话都是真的无处不在的(这是一个特例…

…开发的20世纪的挪威Thoralf阿尔伯特•Skolem元逻辑的先驱,是避免所谓的无限的矛盾出现在某些情况下,当“所有”应用于函数在无限的范围类;它通过指定一个函数的范围没有…

…后来数学家提出的,主要是Thoralf阿尔伯特•Skolem挪威元逻辑的先驱,亚伯拉罕阿道夫Fraenkel,以色列的数学家。在集合理论文献中,它被称为Zermelo-Fraenkel集合理论和缩写ZFC (“C”,因为包容的公理的选择)。看到的

…Lowenheim和挪威数学家Thoralf Skolem,一阶公理系统不能完成在这个Hilbertian意义。与他们的定理(网址Lowenheim-Skolem定理两部分。首先,如果一个一阶的命题或有限的公理系统模型,它有可数模型。第二,如果它有可数模型,…