Abstract
This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fraïssé type theorem. We also give characterizations of elementary classes in equality-free logic. As a by-product we characterize the sentences that are logically equivalent to an equality-free one.
Citation
E. Casanovas. P. Dellunde. R. Jansana. "On Elementary Equivalence for Equality-free Logic." Notre Dame J. Formal Logic 37 (3) 506 - 522, Summer 1996. https://doi.org/10.1305/ndjfl/1039886524
Information