Model Theory learning seminar

Omar Leon Sanchez, Pure Mathematics, University of Waterloo

"NIP X"

We correct the argument from the last talk to prove that every formula has an honest definition.