On Elementary Equivalence for Equality-free Logic

@article{Casanovas1996OnEE,
  title={On Elementary Equivalence for Equality-free Logic},
  author={Enrique Casanovas and Pilar Dellunde and Ramon Jansana},
  journal={Notre Dame Journal of Formal Logic},
  year={1996},
  volume={37},
  pages={506-522}
}
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 ı̈sśe type theorem. We also give characterizations of elementary classes in equalityfree logic. As a by-product we characterize the sentences that are logically equivalent to an equality-free… CONTINUE READING

From This Paper

Topics from this paper.
18 Citations
8 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Every two elementarily equivalent models have isomorphic ultrapowers

  • S. Shelah
  • Israel Journal of Mathematics, vol. 10 (1971), pp…
  • 1971
Highly Influential
6 Excerpts

Algebraic Semantics for Universal Horn Logic without Equality

  • W. Blok, D. Pigozzi
  • Universal Algebra and Quasigroups, edited by A…
  • 1992
Highly Influential
8 Excerpts

Algebraizable logics

  • W. Blok, D. Pigozzi
  • Memoirs of the American Mathematical Society, vol…
  • 1989
Highly Influential
9 Excerpts

D.,Mathematical Logic, Springer-Verlag

  • J. Monk
  • New York,
  • 1976
Highly Influential
6 Excerpts

Back and forth through infinitary logic

  • J. Barwise
  • pp. 5–34 in Studies in Model Theory, edited by M…
  • 1973
Highly Influential
3 Excerpts

Equivalential Logics I

  • J. Czelakowski
  • Studia Logica, vol. 40 (1981), pp. 227–236. 522…
  • 1981
2 Excerpts

Some Theorems on Structural Consequence Operations

  • S. L. Bloom
  • Studia Logica, vol. 34 (1975), pp. 1–9.
  • 1975
2 Excerpts

Similar Papers

Loading similar papers…