Notre Dame Journal of Formal Logic

On Elementary Equivalence for Equality-free Logic

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

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.

Article information

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

Dates
First available in Project Euclid: 14 December 2002

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1039886524

Mathematical Reviews number (MathSciNet)
MR1434433

Digital Object Identifier
doi:10.1305/ndjfl/1039886524

Zentralblatt MATH identifier
0869.03007

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

Citation

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


Export citation

References

  • [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.