Pages that link to "Item:Q4921444"
From MaRDI portal
The following pages link to On the Cauchy Completeness of the Constructive Cauchy Reals (Q4921444):
Displaying 9 items.
- Unifying sets and programs via dependent types (Q408534) (← links)
- Remarks on the Dedekind completion of a nonstandard model of the reals (Q761453) (← links)
- On the constructive Dedekind reals (Q1000868) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- Unifying Sets and Programs via Dependent Types (Q3605541) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)