一阶模型论相关硕士博士期刊学术论文 - 搜论网

一阶模型论相关论文

一阶模型论的研究及其在代数上的应用

模型论是数理逻辑的主要分支学科之一,是研究形式语言及其解释（模型）之间关系的理论.模型论源于Th.Skolem等人的研究,形成于20世纪50......

学位

一阶模型论代数数理逻辑有限兼纳模型

α—型及其应用

本文以α型为基本工具研究代数问题,给出了Abian结果的一个进一步的结果,并给出了域上的无限线性方程组有解的一些判定准则.......

期刊

α-型一阶模型论一阶语言 Hilbert零点定理极大和谐公式集饱和模型代数域无限线性方程组解判定准则 a-type Hilbert zero

看过本文同时还关注