A universal finite set, CUNY Logic Workshop, November 2017
This will be a talk for the CUNY Logic Workshop, November 17, 2017, 2pm GC Room 6417. Abstract. I shall define a certain finite set in set theory $$\{x\mid\varphi(x)\}$$ and prove that it exhibits…
