上一页

ⓘ Category:模型论




                                               

布尔值模型

在数学逻辑,布尔的模型是一个普通的塔斯基主义的结构或模式的概念的促进,其中提议的真正价值并不是定义为"真实"和"虚假",而是从一个固定的完成布尔代数值,布尔的模型是达纳*斯科特,罗伯特*M.Solovay,并Petr Vopěnka在1960年代,以便帮助了解保罗*科恩力的强迫方法和干预。

                                               

保守扩展

保守的扩展是一个合乎逻辑的一个概念。 一个知识基础是K-扩展,如果K是K的一个子集;K是一个保守的扩展,如果对所有的只是一个K的名义结构的主张α{\displaystyle\alpha}K⊨α{\displaystyle\vDash\alpha}如果并且只有如果K⊨α{\displaystyle\vDash\alpha}。 换句话说,保守的扩展不改变原来的知识基础结构。 保守的扩展在许多领域的应用程序,例如模块式的身体和敏感的知识的保护。 在逻辑和派生的机构,I和J,分别是解释的解释,如果J我是一个保守的扩展,必须满足以下条件: 2)的解释,我域领域是平等的解释J域. 3)任何语言L集中的元件e,Ie=Je. 1)解释我的作用的语言,我在收集、解释J必须适用于设置的语言L,和L包含L. 然后我们说,J是我保守 ...

                                               

初等等价

在数学、特别是模式的理论,鉴于语言的两个机构被称为基本相当,如果他们的理论是相同的,那就是任何一个模型,以满足刑也是另一个模型满足。

                                               

型 (模型论)

在模型的理论,一种类型的第一阶逻辑在一个兼容式收集。 一个完整的类型是这样设置的巨大的要素。

                                               

基本子结构

在模型的理论,鉴于在相同的语言L{\displaystyle L}在两个结构M{\displaystyle M}和N{\displaystyle N},我们呼米{\displaystyle M}是N{\displaystyle N}基本子结构(有时表述为一个M&lt,N{\displaystyle M

                                               

斯科伦悖论

在数学逻辑,特别是一套理论,斯科伦和弗伦克尔矛盾的是向下Löwenheim-斯科伦和弗伦克尔的理论是一个直接结果,它要求所有第一阶语句的模式具有基本等同的可计数子模型。 这一悖论是在策梅罗-Fraenkel一套理论。 康托在1874年出版的早期结果,有一个不可数集化合物,例如自然数字的功率设定,真实的数字集,并着名的康托集。 这些集中存在的任何策梅罗-Fraenkel收集,因为它们的存在从公理是衍生的。 使用Löwenheim-斯科伦和弗伦克尔的理论,我们可以得到的只包含数目的一套理论模型。 然而,它必须包含上面提到的不可数集在一起,这似乎是矛盾的。 但是讨论这些设置为不可,但在模型内不存在由于自然数设定的双射意义。 在模型中没有一个双 ...

                                               

选择公理

选择公理的英文:xiom C hoice,缩写的交流,是一种数学中的一套理论公理。 这个公理的声明中,对所有非空的索引集团,我∈我{\displaystyle_{我\I}},总是有一个索引的家庭我∈我{\displaystyle_{我\I}}为每个我∈我{\displaystyle我\I}有x我∈S我{\displaystyle x_{我}\在S_{我}}是。 选择公理早在1904年由Ernst策梅洛以证明的良好序列的定理,并制订一个完整的。 非正式的,选择的公理的发言:鉴于一些盒子可以是无限的,并且每个中包含至少一个球,然后你就可以做出这样的选择,以便从每一个盒子只是选出一个小球。 在许多情况下,这种选择可以是由意味着所选择的理由;特别是,在一个"框数量有限"以及"存在的特定规则选择"当每个盒子里是一 ...

                                               

选择函数

选择功能是将一个函数f,其域X是一群非空组成的集合,以及每个X S,有f∈S.换言之,f在X和每一个收集只需选择一个元素。 选择公理(AC)断言,每一个非空组组成的收集将有一个选择的功能。 另一个很弱的选择axiom-可计数的选择axiom(CC)断言,每一个非空集组成的一个数集都有一个选择的功能。 但无论如何,即使没有交流或CC,一些收集、或者你可以有选择的功能。 如果X是一个非空组成的一组有限,可以建立一个选择的功能,每个X的元素,在选定的一个元素。 这只需要做到有限的选择,因此没有必要使用的交流或CC。. 如果X的每个要素是非空井然有序的设置,可以由每个X的元素选择其最小的单元。 因此,或许需要有无限多的选择,但是我们有一 ...

                                               

非标准模型

在数学逻辑的理论模型,所谓的理论模型,用于非标准模式,如果与预期的模型或标准的模型的一个不同的机制。 如果预期的模式是无限的,并使用的语言是第一次了,非标准的模型的存在的乐文Heim–斯科特*艾伦理保障。 非标准模式可以被选择作为预期模式的小学扩大或小子结构。 非标准的模型的一套理论,非标准分析,并非标准的算术模式的研究。

用户还搜索了:

...
...
...