Pages that link to "Item:Q3395312"
From MaRDI portal
The following pages link to The Dedekind reals in abstract Stone duality (Q3395312):
Displaying 9 items.
- On the constructive Dedekind reals (Q1000868) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Inside every model of abstract Stone duality lies an arithmetic universe (Q2849890) (← links)
- Classical mathematics for a constructive world (Q3094179) (← links)
- Remarks on the Stone Spaces of the Integers and the Reals without AC (Q3100950) (← links)
- A lambda calculus for real analysis (Q3145951) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)