Pages that link to "Item:Q5387301"

The following pages link to The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301):

Displaying 5 items.

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
• The double negation of the intermediate value theorem (Q636312) (← links)
• Intuitionism and effective descriptive set theory (Q1688967) (← links)
• THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793) (← links)
• Projective sets, intuitionistically (Q6170638) (← links)