Pages that link to "Item:Q1000868"
From MaRDI portal
The following pages link to On the constructive Dedekind reals (Q1000868):
Displaying 13 items.
- Topological inductive definitions (Q450944) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Refinement is equivalent to Fullness (Q3066297) (← links)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- On the Cauchy Completeness of the Constructive Cauchy Reals (Q4921444) (← links)
- Ordering groups constructively (Q5238136) (← links)
- On the Cauchy completeness of the constructive Cauchy reals (Q5307608) (← links)
- Completion of premetric spaces (Q5855277) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Should pluralists be pluralists about pluralism? (Q6180134) (← links)
