The following pages link to (Q4681810):
Displaying 18 items.
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Towards computable analysis on the generalised real line (Q2011660) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Generalization of linear morphisms on \(N\) in topoi (Q2508813) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- Continuity properties of preference relations (Q3528140) (← links)
- (Q3532205) (← links)
- (Q4580318) (← links)
- Implementing constructive real analysis (preliminary report) (Q4594262) (← links)
- Constructive Urysohn's Universal Metric Space (Q4918013) (← links)
- Continuity Properties of Preference Relations (Q4918026) (← links)
- (Q5101354) (← links)
- Logical Approaches to Computational Barriers (Q5898798) (← links)