The following pages link to (Q4552747):
Displaying 18 items.
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Partiality, Revisited (Q2988390) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Proof-relevance in Bishop-style constructive mathematics (Q5055489) (← links)
- Bishop's Lemma (Q5109210) (← links)
- (Q5224157) (← links)
- Completion of premetric spaces (Q5855277) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- Sets completely separated by functions in Bishop set theory (Q6589312) (← links)
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Q6635512) (← links)
