Pudlák, Pavel, Bounds for Hodes - Specker Theorem Pudlák, Pavel, On the Length of Proofs of Finitistic Consistency Statements in First Order Theories Purisch, S., The Orderability of Scattered Space (1985) Putnam, Hilary, Uniqueness Ordinals in Higher Constructive Number Classes (1961) Putnam, Hilary, Probability and Confirmation (1964) Putnam, Hilary, The Analytic and the Synthetic Putnam, T. M., Residues of Certain Sums of Powers of Integers (1914) Pyber, L., An Extension of a Frankl-Füredi Theorem (1984)