Logical Specifications of Effectively Separable Data Models
IF 0.5
Q3 MATHEMATICS
引用次数: 0
Abstract
It is established that any effectively separable many-sorted universal algebra has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences.
有效可分离数据模型的逻辑规范
摘要 已确定任何有效可分离的多排序通用代数都有一个丰富模型，它是由常量为合适的可计算可枚举的句子集合构建的唯一模型（直到同构）。
本文章由计算机程序翻译，如有差异，请以英文原文为准。
求助全文
约1分钟内获得全文
求助全文
来源期刊
Russian Mathematics
MATHEMATICS-
CiteScore
0.90
自引率
25.00%
发文量
0
期刊介绍：
Russian Mathematics is a peer reviewed periodical that encompasses the most significant research in both pure and applied mathematics.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
