Pages that link to "Item:Q1734272"

The following pages link to A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272):

Displaying 9 items.

• Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
• \(\epsilon\)-continuity and monotone operators (Q790110) (← links)
• Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
• Ishihara's proof technique in constructive analysis (Q1433041) (← links)
• (Q3407137) (← links)
• A Bizarre Property Equivalent to the -Fan Theorem (Q3424134) (← links)
• Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)
• A Weak Constructive Sequential Compactness Property and the Fan Theorem (Q5693110) (← links)
• New Computational Paradigms (Q5717045) (← links)