摘要
本文是对无等式逻辑，即无等式的一阶逻辑研究的贡献。通过给出一些Keisler-Shelah型超幂定理和一个Ehrenfeucht-Fraíssé型定理，我们主要致力于研究其初等等价关系的代数刻画。我们还给出了无等式逻辑中初等类的特征。作为副产品，我们描述了逻辑上等价于零等式的句子。
引用
下载引文
E.卡萨诺瓦斯。
P.德尔隆德。
R.詹萨纳。
“关于无等式逻辑的基本等价性。”
圣母院J.形式逻辑
37
(3)
506 - 522,
1996年夏。
https://doi.org/10.1305/ndjfl/1039886524
问询处
出版日期：1996年夏
欧几里得项目首次提供：2002年12月14日
数字对象标识符：10.1305/ndjfl/1039886524
学科：
主要用户：03C07号机组
次要：03B10号机组,03C20号
版权所有©1996年圣母大学
