First order logic without equality on relativized semantics

Amitayu Banerjee, Mohamed Khaled

Let $\alpha \ge 2$ be any ordinal. We consider the class ${\mathsf{Drs}}_{\alpha }$ of relativized diagonal free set algebras of dimension $\alpha$. With same technique, we prove several important res…