Notre Dame Journal of Formal Logic

On Elementary Equivalence for Equality-free Logic

E. Casanovas,P. Dellunde, and R. Jansana


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.

Article information

Notre Dame J. Formal Logic Volume 37, Number 3 (1996), 506-522.

First available: 14 December 2002

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Digital Object Identifier

Zentralblatt MATH identifier

Primary: 03C07: Basic properties of first-order languages and structures
Secondary: 03B10: Classical first-order logic 03C20: Ultraproducts and related constructions


Casanovas, E.; Dellunde, P.; Jansana, R. On Elementary Equivalence for Equality-free Logic. Notre Dame Journal of Formal Logic 37 (1996), no. 3, 506--522. doi:10.1305/ndjfl/1039886524.

Export citation


  • [1] Barwise, J., ``Back and forth through infinitary logic,'' pp. 5--34 in Studies in Model Theory, edited by M. Morley, Studies in Mathematics 8, Mathematical Association of America, Washington, D.C., 1973.
  • [2] Bloom, S. L., ``Some Theorems on Structural Consequence Operations,'' Studia Logica, vol. 34 (1975), pp. 1--9.
  • [3] Blok, W., and D. Pigozzi, ``Protoalgebraic Logics,'' Studia Logica, vol. 45 (1986), pp. 337--369.
  • [4] Blok, W., and D. Pigozzi, ``Algebraizable logics,'' Memoirs of the American Mathematical Society, vol. 1 (1989), p. 396.
  • [5] Blok, W., and D. Pigozzi, ``Algebraic Semantics for Universal Horn Logic without Equality,'' in Universal Algebra and Quasigroups, edited by A. Romanowska and J. D. H. Smith, Heldermann Verlag, Berlin, 1992.
  • [6] Czelakowski, J., ``Equivalential Logics I,'' Studia Logica, vol. 40 (1981), pp. 227--236.
  • [7] Chang, C. C., and H. J. Keisler, Model Theory, North Holland, Amsterdam 1973.
  • [8] Ebbinghaus, H. D., J. Flum, and W. Thomas, Mathematical Logic, Springer-Verlag, Berlin 1984.
  • [9] Monk, J. D., Mathematical Logic, Springer-Verlag, New York, 1976.
  • [10] Shelah, S., ``Every two elementarily equivalent models have isomorphic ultrapowers,'' Israel Journal of Mathematics, vol. 10 (1971), pp. 224--233.