The following pages link to On constructing completions (Q5718698):
Displaying 21 items.
- Constructions of complete sets (Q745250) (← links)
- Binary refinement implies discrete exponentiation (Q861570) (← links)
- The shrinking principle and the axiom of choice (Q996085) (← links)
- On the constructive Dedekind reals (Q1000868) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Semi-initial completions (Q1072629) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Completion by perturbations (Q2124677) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Addendum to ``Completion and closure'' (Q2709568) (← links)
- Constructively Complete Finite Sets (Q3030826) (← links)
- Refinement is equivalent to Fullness (Q3066297) (← links)
- The constructive completion of the space ?(?) (Q3159404) (← links)
- Completions intrinseques et co-intrinseques (Q3338404) (← links)
- (Q3641050) (← links)
- (Q3692455) (← links)
- Completion varieties (Q3705505) (← links)
- New Structures Based on Completions (Q4924462) (← links)
- A generalized cut characterization of the fullness axiom in CZF (Q4925158) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)