Pages that link to "Item:Q3785063"

The following pages link to Limited Omniscience and the Bolzano-Weierstrass Principle (Q3785063):

Displaying 7 items.

• A constructive real projective plane (Q265603) (← links)
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
• Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
• The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
• Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
• Constructive projective extension of an incidence plane (Q5402107) (← links)