×

关于保守扩展的另一个警告:一个具有计算风格的简单案例。 (英语) Zbl 0751.03013号

这是另一个关于保守扩展的警告。其目的是有助于澄清保守概念表述之间的区别。我们给出了一个具有计算风格的简单示例,它是一个保守扩展,其模型无法扩展。计算的意义在于,我们将通过加法运算来扩展自然数。
保守扩展的概念在数学逻辑和形式规范中都非常重要[P.拜尔D.皮特同上,41,196-201(1990)]。有两种自然的方式将这个概念形式化,即根据理论本身或其模型。众所周知,在一阶逻辑中,语义版本严格地比另一个版本强。
即使扩展不需要添加除常量以外的其他新符号,也会出现上述现象。但是,拜尔斯和皮特的论文[loc.cit.,p.198]中的例子涉及到在一个完整的理论中添加了不计其数的新常数。作者和S.Veloso公司在他们的论文[同上43,189-198(1991)]中,通过审查更多实际案例解除了这些限制。然而,这些例子与计算有点脱节。本说明显示了一个更类似于计算的示例。

MSC公司:

03C07号机组 一阶语言和结构的基本性质
60年第68季度 规范和验证(程序逻辑、模型检查等)
第68季度第65季度 抽象数据类型;代数规范
PDF格式BibTeX公司 XML格式引用