Pages that link to "Item:Q1182484"

The following pages link to Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484):

Displaying 2 items.

• Reverse mathematics and initial intervals (Q386152) (← links)
• On the strength of König's duality theorem for countable bipartite graphs (Q4292597) (← links)