Pages that link to "Item:Q3919715"

The following pages link to On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic (Q3919715):

Displaying 2 items.

• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems (Q4873894) (← links)
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)