An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic

DOI10.1002/malq.19800260703zbMath0444.03016OpenAlexW2170825467MaRDI QIDQ3887441

Mark E. Nadel

Publication date: 1980

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19800260703

zbMATH Keywords

generalized quantifiersabstract logicequivalence relation on first order structures

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items

Duality Between Logics and Equivalence Relations, A Simple Construction of Robinson Equivalence Relations