Computability Learning Seminar

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"Existentially Algebraic Structures"

This week we talk about existentially algebraic structures. We will prove that every existentially algebraic structure is in fact existentially atomic. We will also try to establish a necessary and sufficient condition for a structure \mathcal{A}=(A,<, Adj) (linear order with the adjacency relation) to be existentially atomic.

MC 5403