Computability Learning Seminar

Jonny Stephenson, Department of Pure Mathematics, University of Waterloo

"Existential atomicity and universal types"

We will continue our study of existentially atomic models. We will introduce and prove a characterization of existential atomicity in terms of the universal types realized in the structure - this characterization is analogous to the standard model-theoretic definition of atomicity.

MC 5403