On Elementary Equivalence for Equality-free Logic

E. Casanovas, P. Dellunde, R. Jansana

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

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-Shelahtype 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 thesentences that are logically equivalent to an equality-free one. © 1996 by the University of Notre Dame. All rights reserved.
Original languageEnglish
Pages (from-to)506-522
JournalNotre Dame Journal of Formal Logic
Volume37
Issue number3
DOIs
Publication statusPublished - 1 Jan 1996

Fingerprint

Dive into the research topics of 'On Elementary Equivalence for Equality-free Logic'. Together they form a unique fingerprint.

Cite this