Pages that link to "Item:Q1000868"
From MaRDI portal
The following pages link to On the constructive Dedekind reals (Q1000868):
Displaying 25 items.
- Topological inductive definitions (Q450944) (← links)
- Remarks on the Dedekind completion of a nonstandard model of the reals (Q761453) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- An explicit solution to Post's problem over the reals (Q2479313) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- Refinement is equivalent to Fullness (Q3066297) (← links)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Implementing constructive real analysis (preliminary report) (Q4594262) (← links)
- (Q4736388) (← links)
- On arithmetically realizable classes (Q4879094) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Schnorr Trivial Reals: A construction (Q4921437) (← links)
- On the Cauchy Completeness of the Constructive Cauchy Reals (Q4921444) (← links)
- A generalized cut characterization of the fullness axiom in CZF (Q4925158) (← links)
- (Q5071519) (← 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)
- Domain Theory and Realisability over Scott’s <i>D</i><sub>∞</sub> in Constructive Set Theory (Q6167164) (← links)
- Should pluralists be pluralists about pluralism? (Q6180134) (← links)
