The following pages link to Unique solutions (Q3418084):
Displaying 12 items.
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← 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)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Unique paths as formal points (Q3145963) (← links)
- (Q3495548) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)