On elementary equivalence for equality-free logic

DOI10.1305/ndjfl/1039886524zbMath0869.03007OpenAlexW2006385373MaRDI QIDQ1355131

Enrique Casanovas, Pilar Dellunde i Clavé, Ramon Jansana

Publication date: 19 May 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039886524

zbMATH Keywords

ultrapowerEhrenfeucht-Fraïssé gameelementary equivalenceelementary classesequality-free logicfirst-order logic without equality

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Related Items (13)

Algebraic Characterizations for Universal Fragments of Logic ⋮ A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ Logical operations and invariance ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Invariance and definability, with and without equality ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Expressivity of imperfect information logics without identity ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ First order logic without equality on relativized semantics ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalential logics. I
• Model theory.
• Some theorems on structural consequence operations
• Every two elementarily equivalent models have isomorphic ultrapowers
• Algebraizable logics

This page was built for publication: On elementary equivalence for equality-free logic