×

An arbitrary equivalence relation as elementary equivalence in an abstract logic. (English) Zbl 0444.03016


MSC:

03C95 Abstract model theory
03C80 Logic with extra quantifiers and operators
03C75 Other infinitary logic
Full Text: DOI