Translator Disclaimer
Summer 1996 On Elementary Equivalence for Equality-free Logic
E. Casanovas, P. Dellunde, R. Jansana
Notre Dame J. Formal Logic 37(3): 506-522 (Summer 1996). DOI: 10.1305/ndjfl/1039886524

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

Download 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

Published: Summer 1996
First available in Project Euclid: 14 December 2002

zbMATH: 0869.03007
MathSciNet: MR1434433
Digital Object Identifier: 10.1305/ndjfl/1039886524

Subjects:
Primary: 03C07
Secondary: 03B10, 03C20

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
17 PAGES


SHARE
Vol.37 • No. 3 • Summer 1996
Back to Top