[samoright]

What is p and t? You say that this work shows that p and t are different. What two entities are proven to be equal then in this work?

[clintonc]

p and t are implicitly defined cardinalities (i.e., the smallest cardinalities with given properties). See Definition 1.1 of the source article (https://arxiv.org/pdf/1208.5424.pdf)