Pages that link to "Item:Q4977218"

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

Displaying 3 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)