Pages that link to "Item:Q4977218"

The following pages link to CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218):

Displaying 5 items.

• Determinacy separations for class games (Q2312093) (← links)
• The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
• Determinacy in third order arithmetic (Q2404651) (← links)
• The limits of determinacy in second-order arithmetic (Q3116522) (← links)
• Uniformity, universality, and computability theory (Q5268400) (← links)