Concept
Power set
Related publications (5)
Every Elementary Higher Topos Has A Natural Number Object
We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by defining the loop space of the circle and showing that we can construct a natural number object out of it. Part of the proof involves showing that various de ...
2021Uniform s-Cross-Intersecting Families
In this paper we study a question related to the classical Erdos-Ko-Rado theorem, which states that any family of k-element subsets of the set [n] = {1,..., n} in which any two sets intersect has cardinality at most ((n-1)(k-1)). We say that two non-empty ...
Cambridge Univ Press2017